read_aiger: connect identical signals together

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 04530e56285ad2dddd54bb313f7b1ba061b2663e..f7b9146ce790d909949d7f4fb27fac9522f36ced 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -280,6 +280,7 @@ end_of_header:
                                if (wire) {
                                        // Could have been renamed by a latch
                                        module->swap_names(wire, outputs[l1]);
+                                       module->connect(outputs[l1], wire);
                                        goto next;
                                }
                                wire = outputs[l1];