diff options
Diffstat (limited to 'backends/smt2/smt2.cc')
| -rw-r--r-- | backends/smt2/smt2.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc index 1ff1cdbf5..02d6f3fb6 100644 --- a/backends/smt2/smt2.cc +++ b/backends/smt2/smt2.cc @@ -932,6 +932,10 @@ struct Smt2Backend : public Backend { worker.write(*f); } + Module *topmod = design->top_module(); + if (topmod) + *f << stringf("; yosys-smt2-topmod %s\n", log_id(topmod)); + *f << stringf("; end of yosys output\n"); if (template_f.is_open()) { |