Add non-input bits driven by unrecognised cells as ci_bits

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index a4ef8993145e4c342ece8ff3d539c4f97d2bac1b..bad9322bb40d188dd7c7dcb506f43cf027eac7aa 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -229,7 +229,7 @@ struct XAigerWriter
                                        }
                                        if (is_output) {
                                                SigBit O = sigmap(b);
-                                               if (!input_bits.count(O) && !output_bits.count(O))
+                                               if (!input_bits.count(O))
                                                        ci_bits.insert(O);
                                        }
                                }