From 6ca31c475f7ae1605be34a0629559db2beef49d1 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 16 Sep 2021 21:51:10 -0700
Subject: Improving MiniAIG and name manager.

---
 src/base/abci/abc.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base/abci/abc.c')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 9853dced..009843ff 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -30176,7 +30176,7 @@ int Abc_CommandAbc9Read( Abc_Frame_t * pAbc, int argc, char ** argv )
     if ( fNewReader )
         pAig = Gia_FileSimpleRead( FileName, fGiaSimple, NULL );
     else if ( fMiniAig )
-        pAig = Gia_ManReadMiniAig( FileName );
+        pAig = Gia_ManReadMiniAig( FileName, fGiaSimple || fSkipStrash );
     else if ( fMiniAig2 )
         pAig = Gia_MiniAigSuperDerive( FileName, fVerbose );
     else if ( fMiniLut )
-- 
cgit v1.2.3