Add log_push()/log_pop() inside write_xaiger

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 637c54ff91d291df4c7245c59b5715e8207c07d9..2070cae8fcb2c7786ae4a474f4622c560b2e9f8c 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -664,6 +664,8 @@ struct XAigerWriter
                        f.write(buffer_str.data(), buffer_str.size());
 
                        if (holes_module) {
+                               log_push();
+
                                // NB: fixup_ports() will sort ports by name
                                //holes_module->fixup_ports();
                                holes_module->check();
@@ -700,6 +702,8 @@ struct XAigerWriter
                                f.write(reinterpret_cast<const char*>(&buffer_size_be), sizeof(buffer_size_be));
                                f.write(buffer_str.data(), buffer_str.size());
                                holes_module->design->remove(holes_module);
+
+                               log_pop();
                        }
                }