Fixing a memory leak.

c5f74867 · Alan Mishchenko · d8c47d56 · c5f74867
Commit c5f74867 authored Sep 19, 2018 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

src/base/wlc/wlcBlast.c
+2 -2

No files found.
--- a/src/base/wlc/wlcBlast.c
+++ b/src/base/wlc/wlcBlast.c
@@ -2085,8 +2085,8 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Wlc_BstPar_t * pParIn )
    }
    if ( pPar->vBoxIds )
    {
-        Vec_PtrFreeP( &pNew->vNamesIn );
+        Vec_PtrFreeFree( pNew->vNamesIn );   pNew->vNamesIn  = NULL;
-        Vec_PtrFreeP( &pNew->vNamesOut );
+        Vec_PtrFreeFree( pNew->vNamesOut );  pNew->vNamesOut = NULL;
    }
    return pNew;
 }