Remove unnecessary undriven_bits.insert

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 3a4b353e2470c073155571e5990863be339beb34..fcf9a7bf1df94d5e59005aa6aa7ff118a75ccd6f 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -154,11 +154,8 @@ struct XAigerWriter
                                }
 
                                if (wire->port_output || keep) {
-                                       if (bit != wirebit) {
+                                       if (bit != wirebit)
                                                alias_map[wirebit] = bit;
-                                               if (!bit.wire)
-                                                       undriven_bits.insert(wirebit);
-                                       }
                                        output_bits.insert(wirebit);
                                }
                        }