diff options
Diffstat (limited to 'src/base/main/mainInt.h')
| -rw-r--r-- | src/base/main/mainInt.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h index 9eaa03d1..e860878e 100644 --- a/src/base/main/mainInt.h +++ b/src/base/main/mainInt.h @@ -134,7 +134,7 @@ struct Abc_Frame_t_ 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 + char * pSpecName; void * pSave1; void * pSave2; void * pSave3; |