1 files changed, 0 insertions, 1 deletions
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;