From b3d81b5f76aa3673bb4c6e5c79056cfb4950082e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 21 Jan 2019 14:57:05 -0800
Subject: Exploring other ways of CEX writing.

---
 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 bcd876a3..974cf0f4 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -29478,7 +29478,7 @@ int Abc_CommandAbc9Get( Abc_Frame_t * pAbc, int argc, char ** argv )
             Aig_ManStop( pAig );
             // perform undc/zero
             pInits = Abc_NtkCollectLatchValuesStr( pAbc->pNtkCur );
-            pGia = Gia_ManDupZeroUndc( pTemp = pGia, pInits, 0, fVerbose );
+            pGia = Gia_ManDupZeroUndc( pTemp = pGia, pInits, 0, 0, fVerbose );
             Gia_ManStop( pTemp );
             ABC_FREE( pInits );
         }
-- 
cgit v1.2.3