From d401cfa6793a76758917fece545103377f3814ca Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 5 Oct 2005 08:01:00 -0700
Subject: Version abc51005

---
 src/sat/csat/csat_apis.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat/csat')

diff --git a/src/sat/csat/csat_apis.c b/src/sat/csat/csat_apis.c
index 1f324c4b..a34f3b9a 100644
--- a/src/sat/csat/csat_apis.c
+++ b/src/sat/csat/csat_apis.c
@@ -542,7 +542,7 @@ enum CSAT_StatusT CSAT_Solve( CSAT_Manager mng )
     else if ( mng->mode == 1 ) // resource-aware fraiging
     {
         // transform the target into a fraig
-        pMan = Abc_NtkToFraig( mng->pTarget, &mng->Params, 0 ); 
+        pMan = Abc_NtkToFraig( mng->pTarget, &mng->Params, 0, 0 ); 
         Fraig_ManProveMiter( pMan );
         RetValue = Fraig_ManCheckMiter( pMan );
 
-- 
cgit v1.2.3