Missing debug message

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index b599160cf8eeb6174d1552ddf28827048a864eef..77ef75cd57fbe0a9f86cd8b2ede18bbfd0210877 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -901,6 +901,7 @@ void AigerReader::post_process()
                                        wire->port_output = false;
                                        continue;
                                }
+                               log_debug("Renaming output %s", log_id(wire));
 
                                if (index == 0) {
                                        // Cope with the fact that a CO might be identical