Stray log_module

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index a9680525d8a2941207de86740f5035e16dde114f..beaed696dbcce52d694fdf6cb74d9dff7fa731a9 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -601,8 +601,6 @@ struct XAigerWriter
                        f.write(buffer_str.data(), buffer_str.size());
 
                        if (holes_module) {
-                               log_module(holes_module);
-
                                std::stringstream a_buffer;
                                XAigerWriter writer(holes_module, true /* holes_mode */);
                                writer.write_aiger(a_buffer, false /*ascii_mode*/);