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

This commit is contained in:
Clifford Wolf 2014-03-09 15:16:07 +01:00
parent 22aabe05c9
commit fcae92868d
1 changed files with 3 additions and 2 deletions

View File

@ -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())