From 3429e6309d0fc9a2d35d81f6483258c6af2fab50 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 19 Sep 2008 08:01:00 -0700
Subject: Version abc80919

---
 src/aig/ssw/sswCnf.c | 6 ++++++
 1 file changed, 6 insertions(+)

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

diff --git a/src/aig/ssw/sswCnf.c b/src/aig/ssw/sswCnf.c
index b047a312..e4b8f9f6 100644
--- a/src/aig/ssw/sswCnf.c
+++ b/src/aig/ssw/sswCnf.c
@@ -264,6 +264,12 @@ 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;
+    if ( p->pPars->fLatchCorrOpt )
+    {
+        Vec_PtrPush( p->vUsedNodes, pObj );
+        if ( Aig_ObjIsPi(pObj) )
+            Vec_PtrPush( p->vUsedPis, pObj );
+    }
     Ssw_ObjSetSatNum( p, pObj, p->nSatVars++ );
     sat_solver_setnvars( p->pSat, 100 * (1 + p->nSatVars / 100) );
     if ( Aig_ObjIsNode(pObj) )
-- 
cgit v1.2.3