Do not sigmap keep bits inside write_xaiger

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index de2f7dd73ace67095e8b2dbb337d4a56fa8c8162..763a14909131c4c543224996d3c8e7bfad8c74c7 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -183,7 +183,7 @@ struct XAigerWriter
                                }
 
                                if (keep)
-                                       keep_bits.insert(bit);
+                                       keep_bits.insert(wirebit);
 
                                if (wire->port_input || keep) {
                                        if (bit != wirebit)