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/mainInt.h | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/base/main/mainInt.h')

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