When two boxes connect to each other, need not be a (* keep *)

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index fa6ba0aca4f28b3c25ca93202b9426022c906768..cbce4c83b39eba32d3388d4cc8df42e82baf10ea 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -405,12 +405,7 @@ struct XAigerWriter
                                                        if (O != b)
                                                                alias_map[O] = b;
                                                        undriven_bits.erase(O);
-
-                                                       auto jt = input_bits.find(b);
-                                                       if (jt != input_bits.end()) {
-                                                               log_assert(keep_bits.count(O));
-                                                               input_bits.erase(b);
-                                                       }
+                                                       input_bits.erase(b);
                                                }
                                        }
                                }