From f9bb3352944275acc6e82eaf53aebf3c964f68c4 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Mon, 30 Sep 2019 16:36:42 -0700
Subject: [PATCH] Cleanup $currQ from aigerparse

---
 frontends/aiger/aigerparse.cc | 2 --
 1 file changed, 2 deletions(-)

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index d40f33447..594bf60ce 100644
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -817,8 +817,6 @@ void AigerReader::post_process()
 		}
 
 		if (is_flop) {
-			Wire* port = box_module->wire("\\$currQ");
-			log_assert(port);
 			log_assert(co_count < outputs.size());
 			Wire *wire = outputs[co_count++];
 			log_assert(wire);
-- 
2.30.2