diff options
Diffstat (limited to 'src/base/main/mainInt.h')
| -rw-r--r-- | src/base/main/mainInt.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h index 3eaa2978..d3a1fc9f 100644 --- a/src/base/main/mainInt.h +++ b/src/base/main/mainInt.h @@ -63,7 +63,9 @@ struct Abc_Frame_t_ st_table * tFlags; // the flag table Vec_Ptr_t * aHistory; // the command history // the functionality - Abc_Ntk_t * pNtkCur; // the current network + Abc_Ntk_t * pNtkCur; // the current network + Abc_Ntk_t * pNtkBestDelay; // the current network + Abc_Ntk_t * pNtkBestArea; // the current network int nSteps; // the counter of different network processed int fAutoexac; // marks the autoexec mode int fBatchMode; // are we invoked in batch mode? |