diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-03-09 15:16:07 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-03-09 15:16:07 +0100 |
| commit | fcae92868de81de87079c1415d3d0123dce8d84c (patch) | |
| tree | 55c1c6e3daa38e7525d2a16f4dbcb153fb6bb475 /passes/techmap/libparse.cc | |
| parent | 22aabe05c9dcb7a7f5c16988fc98a43e55b52beb (diff) | |
Fixed dumping of timing() { .. } block in libparse
Diffstat (limited to 'passes/techmap/libparse.cc')
| -rw-r--r-- | passes/techmap/libparse.cc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/passes/techmap/libparse.cc b/passes/techmap/libparse.cc index 8cbb8e2b..2ff55153 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()) |