From a30c08bbe55d624ec3269577bf16f2f09215be12 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 9 Sep 2008 08:01:00 -0700
Subject: Version abc80909

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

(limited to 'src/aig/ssw/sswCnf.c')

diff --git a/src/aig/ssw/sswCnf.c b/src/aig/ssw/sswCnf.c
index f5047400..b047a312 100644
--- a/src/aig/ssw/sswCnf.c
+++ b/src/aig/ssw/sswCnf.c
@@ -264,8 +264,8 @@ void Ssw_ObjAddToFrontier( Ssw_Man_t * p, Aig_Obj_t * pObj, Vec_Ptr_t * vFrontie
     assert( Ssw_ObjSatNum(p,pObj) == 0 );
     if ( Aig_ObjIsConst1(pObj) )
         return;
-//    Vec_PtrPush( p->vUsedNodes, pObj );
     Ssw_ObjSetSatNum( p, pObj, p->nSatVars++ );
+    sat_solver_setnvars( p->pSat, 100 * (1 + p->nSatVars / 100) );
     if ( Aig_ObjIsNode(pObj) )
         Vec_PtrPush( vFrontier, pObj );
 }
-- 
cgit v1.2.3