diff options
Diffstat (limited to 'src/base/main')
| -rw-r--r-- | src/base/main/mainInt.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h index 09ad96f3..1d8cd70f 100644 --- a/src/base/main/mainInt.h +++ b/src/base/main/mainInt.h @@ -26,6 +26,7 @@ //////////////////////////////////////////////////////////////////////// #include "main.h" +#include "port_type.h" //////////////////////////////////////////////////////////////////////// /// PARAMETERS /// @@ -60,8 +61,8 @@ struct Abc_Frame_t_ FILE * Err; FILE * Hst; // used for runtime measurement - int TimeCommand; // the runtime of the last command - int TimeTotal; // the total runtime of all commands + PORT_INT64_T TimeCommand; // the runtime of the last command + PORT_INT64_T TimeTotal; // the total runtime of all commands // temporary storage for structural choices Vec_Ptr_t * vStore; // networks to be used by choice // decomposition package |