Missing debug message

2026-08-22 06:07:26 +02:00 · 2019-07-11 10:07:14 -07:00
parent 237d8651a5
commit bd198aa803
1 changed files with 1 additions and 0 deletions
@@ -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