Fixed memory leak.

2fe534b0 · Alan Mishchenko · 3a6f8688 · 2fe534b0
Commit 2fe534b0 authored Mar 27, 2011 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 0 deletions

src/base/io/ioReadBlifMv.c
+1 -0

No files found.
--- a/src/base/io/ioReadBlifMv.c
+++ b/src/base/io/ioReadBlifMv.c
@@ -339,6 +339,7 @@ static void Io_MvModFree( Io_MvMod_t * p )
 {
 //    if ( p->pNtk )
 //        Abc_NtkDelete( p->pNtk );
+    Vec_PtrFree( p->vLtlProperties );
    Vec_PtrFree( p->vInputs );
    Vec_PtrFree( p->vOutputs );
    Vec_PtrFree( p->vLatches );