1 files changed, 1 insertions, 1 deletions
diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp
index 47c4f07f..6c2a29e5 100644
--- a/tools/kleaver/main.cpp
+++ b/tools/kleaver/main.cpp
@@ -216,7 +216,7 @@ static bool EvaluateInputAST(const char *Filename,
   if (!UseDummySolver) {
     STPSolver* stpSolver = new STPSolver(UseForkedCoreSolver);
     if (0 != MaxCoreSolverTime) {
-      stpSolver->setTimeout(MaxCoreSolverTime);    
+      stpSolver->setCoreSolverTimeout(MaxCoreSolverTime);    
     }
     STP = S = stpSolver;
   }