diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-02-22 08:01:00 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-02-22 08:01:00 -0800 |
commit | 7d23cc522e416ae1f3d2d53292ef438d1a08b0d7 (patch) | |
tree | 5f59908955de0cc52217c159db6c9c5688c959d8 /src/base/main/mainInt.h | |
parent | bd995ee2ca86bcb488d2e9592012b6077a6283f6 (diff) | |
download | abc-7d23cc522e416ae1f3d2d53292ef438d1a08b0d7.tar.gz abc-7d23cc522e416ae1f3d2d53292ef438d1a08b0d7.tar.bz2 abc-7d23cc522e416ae1f3d2d53292ef438d1a08b0d7.zip |
Version abc80222
Diffstat (limited to 'src/base/main/mainInt.h')
-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 |