Fixed dumping of timing() { .. } block in libparse

diff --git a/passes/techmap/libparse.cc b/passes/techmap/libparse.cc
index 8cbb8e2be81dc5de11ce77becd6b63c8199fbbbd..2ff551537490815eac9f8444a47b13ef56b204e7 100644 (file)
--- 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())