Cleanup $currQ from aigerparse

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index d40f33447797681d995d3e621161f47149b09f63..594bf60ce1f6c20a2f461957302661b86110b7ae 100644 (file)
--- 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);