read_aiger: do not double-count outputs for flops

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index bded2bfeee04a94d535dc84dccbfb92236d28fab..ae16a9e9bec8ae8f64e23cb8992b4266d4198492 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -756,12 +756,6 @@ void AigerReader::post_process()
        }
 
        for (uint32_t i = 0; i < flopNum; i++) {
-               log_assert(co_count < outputs.size());
-               Wire *wire = outputs[co_count++];
-               log_assert(wire);
-               log_assert(wire->port_output);
-               wire->port_output = false;
-
                RTLIL::Wire *d = outputs[outputs.size() - flopNum + i];
                log_assert(d);
                log_assert(d->port_output);