Variable timeframe abstraction.

1 files changed, 1 insertions, 7 deletions

diff --git a/src/sat/bsat/satSolver2.h b/src/sat/bsat/satSolver2.h
index 4d01427a..4b1eec61 100644
--- a/src/sat/bsat/satSolver2.h
+++ b/src/sat/bsat/satSolver2.h
@@ -106,6 +106,7 @@ struct sat_solver2_t
     int             fNotUseRandom;  // do not allow random decisions with a fixed probability
     int             fSkipSimplify;  // set to one to skip simplification of the clause database
     int             fProofLogging;  // enable proof-logging
+    int             fVerbose;
 
     // clauses
     veci            clauses;        // clause memory
@@ -240,13 +241,6 @@ static inline int sat_solver2_set_runtime_limit(sat_solver2* s, int Limit)
     return temp;
 }
 
-static inline int sat_solver2_set_random(sat_solver2* s, int fNotUseRandom)
-{
-    int temp = s->fNotUseRandom;
-    s->fNotUseRandom = fNotUseRandom;
-    return temp;
-}
-
 static inline int sat_solver2_set_learntmax(sat_solver2* s, int nLearntMax)
 {
     int temp = s->nLearntMax;