Do not sigmap

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 6ca24bd7e6cf8b8111d55a599fda5fd3c0466e87..8db166fc23b728fc6304a52d5994a861ce6a6663 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -191,7 +191,7 @@ struct XAigerWriter
                                }
 
                                if (wire->port_input && wire->port_output)
-                                       inout_bits.insert(bit);
+                                       inout_bits.insert(wirebit);
                        }
 
                // TODO: Speed up toposort -- ultimately we care about