Bugfix in smt2 back-end for pure checker modules

diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc
index ddac6900920b47e312b40c8e8bbf3f66f2099736..43479eb5598bda6f365b8ca6ed89552d7d248233 100644 (file)
--- a/backends/smt2/smt2.cc
+++ b/backends/smt2/smt2.cc
@@ -749,6 +749,10 @@ struct Smt2Worker
 
                if (verbose) log("=> export logic driving hierarchical cells\n");
 
+               for (auto cell : module->cells())
+                       if (module->design->module(cell->type) != nullptr)
+                               export_cell(cell);
+
                while (!hiercells_queue.empty())
                {
                        std::set<RTLIL::Cell*> queue;