diff options
| -rw-r--r-- | src/base/wlc/wlcAbs.c | 3 |
1 files changed, 2 insertions, 1 deletions
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 ) |