From eede1bc7f8ce904d9fd5aa48665015c922f3e638 Mon Sep 17 00:00:00 2001
From: Yen-Sheng Ho <ysho@berkeley.edu>
Date: Thu, 9 Mar 2017 13:20:56 -0800
Subject: bug fix

---
 src/base/wlc/wlcAbs.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/base/wlc/wlcAbs.c b/src/base/wlc/wlcAbs.c
index 319b5f37..23a24f30 100644
--- a/src/base/wlc/wlcAbs.c
+++ b/src/base/wlc/wlcAbs.c
@@ -1331,6 +1331,7 @@ int Wlc_NtkPdrAbs( Wlc_Ntk_t * p, Wlc_Par_t * pPars )
 int Wlc_NtkAbsCore( Wlc_Ntk_t * p, Wlc_Par_t * pPars )
 {
     abctime clk = Abc_Clock();
+    Vec_Int_t * vBlacks = NULL;
     int nIters, nNodes, nDcFlops, RetValue = -1;
     // start the bitmap to mark objects that cannot be abstracted because of refinement
     // currently, this bitmap is empty because abstraction begins without refinement
@@ -1352,7 +1353,6 @@ int Wlc_NtkAbsCore( Wlc_Ntk_t * p, Wlc_Par_t * pPars )
         Vec_Int_t * vPisNew, * vRefine;  
         Gia_Man_t * pGia, * pTemp;
         Wlc_Ntk_t * pAbs;
-        Vec_Int_t * vBlacks = NULL;
 
         if ( pPars->fVerbose )
             printf( "\nIteration %d:\n", nIters );
@@ -1431,6 +1431,7 @@ int Wlc_NtkAbsCore( Wlc_Ntk_t * p, Wlc_Par_t * pPars )
         Vec_IntFree( vRefine );
         Abc_CexFree( pCex );
     }
+    Vec_IntFree( vBlacks );
     Vec_BitFree( vUnmark );
     // report the result
     if ( pPars->fVerbose )
-- 
cgit v1.2.3