1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h
index 486a6a95..4f0fec42 100644
--- a/src/aig/gia/gia.h
+++ b/src/aig/gia/gia.h
@@ -230,6 +230,7 @@ struct Gia_ParVta_t_
     int            fDumpVabs;     // dumps the abstracted model
     char *         pFileVabs;     // dumps the abstracted model into this file
     int            fVerbose;      // verbose flag
+    int            fVeryVerbose;
     int            iFrame;        // the number of frames covered
     int            nFramesNoChange; // the number of last frames without changes
 };