read_aiger: also rename "$0"

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 859dd531462f06ccfa2d8312b5f976b981d0f1da..f6b2a639d80602c2408173bb2e0d7a208471a03b 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -255,7 +255,7 @@ end_of_header:
        else
                log_abort();
 
-       RTLIL::Wire* n0 = module->wire("$0");
+       RTLIL::Wire* n0 = module->wire(stringf("$aiger%d$0", aiger_autoidx));
        if (n0)
                module->connect(n0, State::S0);
 
@@ -383,7 +383,7 @@ void AigerReader::parse_xaiger()
        else
                log_abort();
 
-       RTLIL::Wire* n0 = module->wire("$0");
+       RTLIL::Wire* n0 = module->wire(stringf("$aiger%d$0", aiger_autoidx));
        if (n0)
                module->connect(n0, State::S0);