1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h
index bc57ad2a..9eaa03d1 100644
--- a/src/base/main/mainInt.h
+++ b/src/base/main/mainInt.h
@@ -133,6 +133,8 @@ struct Abc_Frame_t_
     int             nFrames;               // the number of time frames completed by BMC
     Vec_Ptr_t *     vPlugInComBinPairs;    // pairs of command and its binary name
     Vec_Ptr_t *     vLTLProperties_global; // related to LTL
+    Vec_Ptr_t *     vSignalNames;  // temporary storage for signal names
+    int             pGateCounts[5];// temporary gate counts
     void *          pSave1; 
     void *          pSave2; 
     void *          pSave3;