Fix debug message

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 833c0023be30d0cb5afd91b9d39bb45cecd6000c..d2657c9da32779ee4eec45539443c80acaf2df45 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -900,6 +900,7 @@ void AigerReader::post_process()
                                        else {
                                                wire->port_output = false;
                                                module->connect(wire, existing);
+                                               wire = existing;
                                        }
                                }
                                else if (index > 0) {