From 4da784c049b79b76d8c1b82297bd27f45ead9377 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 28 Mar 2007 08:01:00 -0700
Subject: Version abc70328

---
 src/sat/csat/csat_apis.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/sat/csat/csat_apis.c')

diff --git a/src/sat/csat/csat_apis.c b/src/sat/csat/csat_apis.c
index 9d27e892..5872f5bc 100644
--- a/src/sat/csat/csat_apis.c
+++ b/src/sat/csat/csat_apis.c
@@ -572,7 +572,7 @@ void ABC_SolveInit( ABC_Manager mng )
 
     // set the new target network
 //    mng->pTarget = Abc_NtkCreateTarget( mng->pNtk, mng->vNodes, mng->vValues );
-    mng->pTarget = Abc_NtkStrash( mng->pNtk, 0, 1 );
+    mng->pTarget = Abc_NtkStrash( mng->pNtk, 0, 1, 0 );
 }
 
 /**Function*************************************************************
@@ -676,7 +676,7 @@ void ABC_Dump_Bench_File( ABC_Manager mng )
     char * pFileName;
  
     // derive the netlist
-    pNtkAig = Abc_NtkStrash( mng->pNtk, 0, 0 );
+    pNtkAig = Abc_NtkStrash( mng->pNtk, 0, 0, 0 );
     pNtkTemp = Abc_NtkToNetlistBench( pNtkAig );
     Abc_NtkDelete( pNtkAig );
     if ( pNtkTemp == NULL ) 
-- 
cgit v1.2.3