From 6c9b59bfc06d3ae8e9d3b40cc4dd4bb401eb2084 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 20 Jul 2012 15:54:08 -0700
Subject: Updated code for lazy man's synthesis.

---
 src/aig/gia/giaMan.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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

diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c
index 037edc78..31f03d80 100644
--- a/src/aig/gia/giaMan.c
+++ b/src/aig/gia/giaMan.c
@@ -86,8 +86,10 @@ void Gia_ManStop( Gia_Man_t * p )
     Vec_IntFreeP( &p->vObjClasses );
     Vec_IntFreeP( &p->vLevels );
     Vec_IntFreeP( &p->vTruths );
+    Vec_StrFreeP( &p->vTtNums );
+    Vec_IntFreeP( &p->vTtNodes );
     Vec_WrdFreeP( &p->vTtMemory );
-    Vec_IntFreeP( &p->vObjNums );
+    Vec_PtrFreeP( &p->vTtInputs );
     Vec_IntFree( p->vCis );
     Vec_IntFree( p->vCos );
     ABC_FREE( p->pTravIds );
-- 
cgit v1.2.3