From 637736827a770d32778c832802dd8c6ddee73073 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 9 Jul 2012 19:24:39 -0700
Subject: Adding several command-line arguments to 'dsat'.

---
 src/aig/gia/giaAig.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/gia/giaAig.c')

diff --git a/src/aig/gia/giaAig.c b/src/aig/gia/giaAig.c
index 4099fe54..dbe396ab 100644
--- a/src/aig/gia/giaAig.c
+++ b/src/aig/gia/giaAig.c
@@ -572,7 +572,7 @@ int Gia_ManSolveSat( Gia_Man_t * p )
     Aig_Man_t * pNew;
     int RetValue;//, clk = clock();
     pNew = Gia_ManToAig( p, 0 );
-    RetValue = Fra_FraigSat( pNew, 10000000, 0, 1, 1, 0, 0 );
+    RetValue = Fra_FraigSat( pNew, 10000000, 0, 0, 0, 0, 1, 1, 0, 0 );
     if ( RetValue == 0 )
     {
         Gia_Obj_t * pObj;
-- 
cgit v1.2.3