From df6fdd1dffd8ce83dfc4a7868ebdd25241f8f24b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 8 Apr 2009 08:01:00 -0700
Subject: Version abc90408

---
 src/aig/gia/giaMan.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/aig/gia/giaMan.c')

diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c
index dba90507..f69ac266 100644
--- a/src/aig/gia/giaMan.c
+++ b/src/aig/gia/giaMan.c
@@ -72,6 +72,7 @@ void Gia_ManStop( Gia_Man_t * p )
     Vec_IntFree( p->vCos );
     ABC_FREE( p->pPlacement );
     ABC_FREE( p->pSwitching );
+    ABC_FREE( p->pCexSeq );
     ABC_FREE( p->pCexComb );
     ABC_FREE( p->pIso );
     ABC_FREE( p->pMapping );
-- 
cgit v1.2.3