From b94cf0c1266f6f3daea809323f0bba0dc5d69e1a Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Tue, 7 Jan 2020 11:43:28 -0800
Subject: [PATCH] read_aiger: connect identical signals together

---
 frontends/aiger/aigerparse.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 04530e562..f7b9146ce 100644
--- 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];
-- 
2.30.2