From 2fe534b06cd4baa61aad8bb3efc8f2b0daaf1ed3 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 27 Mar 2011 11:34:00 -0700
Subject: Fixed memory leak.

---
 src/base/io/ioReadBlifMv.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/base/io/ioReadBlifMv.c')

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 );
-- 
cgit v1.2.3