Revert "Use sigmap signal"

This reverts commit 42f990f3a6b7928841fa0e290fa2688925485907.

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index e060efecec836a3fdf77c589a27e5ef409cba91d..6ca24bd7e6cf8b8111d55a599fda5fd3c0466e87 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -471,7 +471,7 @@ struct XAigerWriter
                                                        SigBit O = sigmap(b);
                                                        if (O != b)
                                                                alias_map[O] = b;
-                                                       input_bits.erase(O);
+                                                       input_bits.erase(b);
                                                        undriven_bits.erase(O);
                                                }
                                        }