1 files changed, 3 insertions, 3 deletions
diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp
index 5b9e43a6..47c4f07f 100644
--- a/tools/kleaver/main.cpp
+++ b/tools/kleaver/main.cpp
@@ -214,9 +214,9 @@ static bool EvaluateInputAST(const char *Filename,
   Solver *S   = 0;
   Solver *STP = 0;
   if (!UseDummySolver) {
-    STPSolver* stpSolver = new STPSolver(true);
-    if (0 != MaxSTPTime) {
-      stpSolver->setTimeout(MaxSTPTime);    
+    STPSolver* stpSolver = new STPSolver(UseForkedCoreSolver);
+    if (0 != MaxCoreSolverTime) {
+      stpSolver->setTimeout(MaxCoreSolverTime);    
     }
     STP = S = stpSolver;
   }