read_aiger to not do -purge for clean

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 28f91d6b9c1ba5ca33abda678c57b210ab2da185..6fa77282ee2d59b219a6cf476b9bbafe0b14e0fe 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -458,7 +458,7 @@ void AigerReader::parse_xaiger()
     module->fixup_ports();
     design->add(module);
 
-    Pass::call(design, "clean -purge");
+    Pass::call(design, "clean");
 }
 
 void AigerReader::parse_aiger_ascii()