diff options
Diffstat (limited to 'src/base/ver/ver.h')
| -rw-r--r-- | src/base/ver/ver.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/ver/ver.h b/src/base/ver/ver.h index 0ba081db..cf2b7497 100644 --- a/src/base/ver/ver.h +++ b/src/base/ver/ver.h @@ -56,6 +56,7 @@ struct Ver_Man_t_ ProgressBar * pProgress; // current design Abc_Lib_t * pDesign; + st_table * tName2Suffix; // error handling FILE * Output; int fTopLevel; @@ -67,6 +68,7 @@ struct Ver_Man_t_ Vec_Int_t * vStackOp; }; + //////////////////////////////////////////////////////////////////////// /// MACRO DEFINITIONS /// //////////////////////////////////////////////////////////////////////// |