diff options
Diffstat (limited to 'src/base/main')
| -rw-r--r-- | src/base/main/mainFrame.c | 3 | ||||
| -rw-r--r-- | src/base/main/mainInt.h | 1 |
2 files changed, 1 insertions, 3 deletions
diff --git a/src/base/main/mainFrame.c b/src/base/main/mainFrame.c index 5c4a0675..a1011a36 100644 --- a/src/base/main/mainFrame.c +++ b/src/base/main/mainFrame.c @@ -111,7 +111,6 @@ Abc_Frame_t * Abc_FrameAllocate() // set the starting step p->nSteps = 1; p->fBatchMode = 0; - p->fProgress = 1; // initialize decomposition manager define_cube_size(20); set_espresso_flags(); @@ -176,7 +175,7 @@ void Abc_FrameRestart( Abc_Frame_t * p ) ***********************************************************************/ bool Abc_FrameShowProgress( Abc_Frame_t * p ) { - return p->fProgress; + return Abc_FrameIsFlagEnabled( "progressbar" ); } diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h index 109e91c8..d2bca1ab 100644 --- a/src/base/main/mainInt.h +++ b/src/base/main/mainInt.h @@ -55,7 +55,6 @@ struct Abc_Frame_t_ int nSteps; // the counter of different network processed int fAutoexac; // marks the autoexec mode int fBatchMode; // are we invoked in batch mode? - int fProgress; // shows progress bars // output streams FILE * Out; FILE * Err; |