From a8f4d4e6bc19974ae31aa8a2981c53f849981f4e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 19 Jul 2012 08:41:38 -0700
Subject: Making GIA use independent truth table number storage when computing
 truth tables.

---
 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 556ddb9a..037edc78 100644
--- a/src/aig/gia/giaMan.c
+++ b/src/aig/gia/giaMan.c
@@ -87,6 +87,7 @@ void Gia_ManStop( Gia_Man_t * p )
     Vec_IntFreeP( &p->vLevels );
     Vec_IntFreeP( &p->vTruths );
     Vec_WrdFreeP( &p->vTtMemory );
+    Vec_IntFreeP( &p->vObjNums );
     Vec_IntFree( p->vCis );
     Vec_IntFree( p->vCos );
     ABC_FREE( p->pTravIds );
-- 
cgit v1.2.3