From 9e299a090878bec9c5dcfe824610098c073a3364 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddieh@ece.ubc.ca>
Date: Wed, 20 Feb 2019 17:33:04 -0800
Subject: [PATCH] read_aiger to not do -purge for clean

---
 frontends/aiger/aigerparse.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 28f91d6b9..6fa77282e 100644
--- 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()
-- 
2.30.2