From 859e769f22195ba971de037c883c0d8552459fe7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 4 Jul 2017 15:23:51 -0700
Subject: Synchronizing various data-structures.

---
 src/base/main/mainFrame.c | 6 ++++++
 src/base/main/mainInt.h   | 4 ++++
 2 files changed, 10 insertions(+)

(limited to 'src/base')

diff --git a/src/base/main/mainFrame.c b/src/base/main/mainFrame.c
index cd4ff2c7..7d9edecf 100644
--- a/src/base/main/mainFrame.c
+++ b/src/base/main/mainFrame.c
@@ -227,6 +227,12 @@ void Abc_FrameDeallocate( Abc_Frame_t * p )
     Vec_IntFreeP( &p->pAbcWlcInv );
     Abc_NamDeref( s_GlobalFrame->pJsonStrs );
     Vec_WecFreeP(&s_GlobalFrame->vJsonObjs );    
+
+    Gia_ManStopP( &p->pGiaMiniAig );
+    Gia_ManStopP( &p->pGiaMiniLut );
+    Vec_IntFreeP( &p->vCopyMiniAig );
+    Vec_IntFreeP( &p->vCopyMiniLut );
+
     ABC_FREE( p );
     s_GlobalFrame = NULL;
 }
diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h
index 278a9191..30671fcb 100644
--- a/src/base/main/mainInt.h
+++ b/src/base/main/mainInt.h
@@ -137,6 +137,10 @@ struct Abc_Frame_t_
 #ifdef ABC_USE_CUDD
     DdManager *     dd;            // temporary BDD package
 #endif
+    Gia_Man_t *     pGiaMiniAig; 
+    Gia_Man_t *     pGiaMiniLut; 
+    Vec_Int_t *     vCopyMiniAig;
+    Vec_Int_t *     vCopyMiniLut;
 };
 
 typedef void (*Abc_Frame_Initialization_Func)( Abc_Frame_t * pAbc );
-- 
cgit v1.2.3