summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2011-03-27 11:34:00 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2011-03-27 11:34:00 -0700
commit2fe534b06cd4baa61aad8bb3efc8f2b0daaf1ed3 (patch)
tree4141f99e5806976610a9726d3199457d86a0b198
parent3a6f8688e2655a6cf37ccd99ddba33b7f504c264 (diff)
downloadabc-2fe534b06cd4baa61aad8bb3efc8f2b0daaf1ed3.tar.gz
abc-2fe534b06cd4baa61aad8bb3efc8f2b0daaf1ed3.tar.bz2
abc-2fe534b06cd4baa61aad8bb3efc8f2b0daaf1ed3.zip
Fixed memory leak.
-rw-r--r--src/base/io/ioReadBlifMv.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/io/ioReadBlifMv.c b/src/base/io/ioReadBlifMv.c
index 0e121b47..c3612b2d 100644
--- 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 );