From c9a625248607a090116cfdede47a5a80c227cb56 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 2 Dec 2010 19:30:19 -0800
Subject: Fixing memory leak in LTL property handling code

---
 src/base/abc/abcNtk.c     | 1 +
 src/base/main/mainFrame.c | 1 +
 2 files changed, 2 insertions(+)

(limited to 'src')

diff --git a/src/base/abc/abcNtk.c b/src/base/abc/abcNtk.c
index a4bdaa0f..166d79e6 100644
--- a/src/base/abc/abcNtk.c
+++ b/src/base/abc/abcNtk.c
@@ -1039,6 +1039,7 @@ void Abc_NtkDelete( Abc_Ntk_t * pNtk )
     ABC_FREE( pNtk->pLutTimes );
     if ( pNtk->vOnehots )
         Vec_VecFree( (Vec_Vec_t *)pNtk->vOnehots );
+    Vec_PtrFreeP( &pNtk->vLtlProperties );
     ABC_FREE( pNtk );
 }
 
diff --git a/src/base/main/mainFrame.c b/src/base/main/mainFrame.c
index a600ae3b..bd3cf4d2 100644
--- a/src/base/main/mainFrame.c
+++ b/src/base/main/mainFrame.c
@@ -175,6 +175,7 @@ void Abc_FrameDeallocate( Abc_Frame_t * p )
             ABC_FREE( pTemp );
         Vec_PtrFree( p->vPlugInComBinPairs );
     }
+    Vec_PtrFreeP( &p->vLTLProperties_global );
     Abc_FrameDeleteAllNetworks( p );
     ABC_FREE( p->pCex );
     ABC_FREE( p );
-- 
cgit v1.2.3