1 files changed, 1 insertions, 0 deletions
diff --git a/src/sat/bmc/bmc.h b/src/sat/bmc/bmc.h
index 55407ebe..75529f7b 100644
--- a/src/sat/bmc/bmc.h
+++ b/src/sat/bmc/bmc.h
@@ -133,6 +133,7 @@ struct Bmc_ParFf_t_
     int        fBasic;
     int        fFfOnly;
     int        fDump;
+    int        fDumpDelay;
     int        fDumpUntest;
     int        fVerbose;
 };