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);