Cleanup

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 2b456bb9ac00eabe8f962edc6d52dd88c4e9a679..faa7223985e70f7aa8196caad30e41fb526a5921 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -473,7 +473,7 @@ struct XAigerWriter
                }
 
                for (auto bit : input_bits)
-                       undriven_bits.erase(sigmap(bit));
+                       undriven_bits.erase(bit);
                for (auto bit : output_bits)
                        unused_bits.erase(sigmap(bit));
                for (auto bit : unused_bits)
@@ -700,7 +700,6 @@ struct XAigerWriter
                                                holes_module->ports.push_back(holes_wire->name);
                                        }
                                        Wire *w = holes_module->addWire(stringf("%s.abc9_ff.Q", cell->name.c_str()));
-                                       log_assert(w);
                                        holes_module->connect(w, holes_wire);
                                }