parse_xaiger() to do "clean -purge"

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 06522939fc86c803768bdfd2ce1430052a7afb4b..2e1fb8fad0f84956ba179696cb00107e360b35f8 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -974,7 +974,7 @@ void AigerReader::post_process()
        // operate (and run checks on) this one module
        RTLIL::Design *mapped_design = new RTLIL::Design;
        mapped_design->add(module);
-       Pass::call(mapped_design, "clean");
+       Pass::call(mapped_design, "clean -purge");
        mapped_design->modules_.erase(module->name);
        delete mapped_design;