read_aiger: connect identical signals together

2020-01-07 11:43:28 -08:00 · 2020-01-07 11:43:28 -08:00 · b94cf0c126
parent baba33fbd3
commit b94cf0c126
1 changed files with 1 additions and 0 deletions
--- 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];