1 files changed, 1 insertions, 0 deletions
diff --git a/src/proof/ssc/ssc.h b/src/proof/ssc/ssc.h
index de32ffc1..1112719c 100644
--- a/src/proof/ssc/ssc.h
+++ b/src/proof/ssc/ssc.h
@@ -47,6 +47,7 @@ struct Ssc_Pars_t_
     int              nBTLimit;      // conflict limit at a node
     int              nSatVarMax;    // the max number of SAT variables
     int              nCallsRecycle; // calls to perform before recycling SAT solver
+    int              fAppend;       // append constraints to the resulting AIG
     int              fVerbose;      // verbose stats
 };