From 23f351c7c6a84d70a35289eab1e73b029d7c55e7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 23 May 2024 07:47:30 -0700
Subject: [PATCH] Bug fix in word-level abstraction.

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

diff --git a/src/base/wlc/wlcAbs.c b/src/base/wlc/wlcAbs.c
index c297c54fe..632778fe4 100644
--- a/src/base/wlc/wlcAbs.c
+++ b/src/base/wlc/wlcAbs.c
@@ -1886,8 +1886,8 @@ int Wlc_NtkAbsCore( Wlc_Ntk_t * p, Wlc_Par_t * pPars )
         Vec_IntFree( vRefine );
         Abc_CexFree( pCex );
     }
-    Vec_IntFree( vBlacks );
-    Vec_BitFree( vUnmark );
+    Vec_IntFreeP( &vBlacks );
+    Vec_BitFreeP( &vUnmark );
     // report the result
     if ( pPars->fVerbose )
         printf( "\n" );