From 5fb7c676c27c689a4a10773c6e4b28af32db3e8b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 7 Jul 2012 13:13:32 -0700
Subject: Procedure to compute truth tables for POs of GIA.

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