From: Clifford Wolf Date: Sun, 9 Mar 2014 14:16:07 +0000 (+0100) Subject: Fixed dumping of timing() { .. } block in libparse X-Git-Tag: yosys-0.3.0~75 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fcae92868de81de87079c1415d3d0123dce8d84c;p=yosys.git Fixed dumping of timing() { .. } block in libparse --- diff --git a/passes/techmap/libparse.cc b/passes/techmap/libparse.cc index 8cbb8e2be..2ff551537 100644 --- a/passes/techmap/libparse.cc +++ b/passes/techmap/libparse.cc @@ -63,9 +63,10 @@ void LibertyAst::dump(FILE *f, std::string indent, std::string path, bool path_o } fprintf(f, "%s%s", indent.c_str(), id.c_str()); - if (!args.empty()) { + if (!args.empty() || !children.empty()) { + fprintf(f, "("); for (size_t i = 0; i < args.size(); i++) - fprintf(f, "%s%s", i > 0 ? ", " : "(", args[i].c_str()); + fprintf(f, "%s%s", i > 0 ? ", " : "", args[i].c_str()); fprintf(f, ")"); } if (!value.empty())