1 files changed, 1 insertions, 0 deletions
diff --git a/src/sat/bmc/bmc.h b/src/sat/bmc/bmc.h
index 14ffec12..b0a9210d 100644
--- a/src/sat/bmc/bmc.h
+++ b/src/sat/bmc/bmc.h
@@ -137,6 +137,7 @@ struct Bmc_ParFf_t_
     int        fDump;
     int        fDumpDelay;
     int        fDumpUntest;
+    int        fDumpNewFaults;
     int        fVerbose;
 };