diff --git a/src/main/scala/leon/evaluators/ContextualEvaluator.scala b/src/main/scala/leon/evaluators/ContextualEvaluator.scala
index 90d1ac97070133d4d39f30a0ffcda84e7424e550..62aa713b543ee609aebb2b0802e50469cb2cd4cf 100644
--- a/src/main/scala/leon/evaluators/ContextualEvaluator.scala
+++ b/src/main/scala/leon/evaluators/ContextualEvaluator.scala
@@ -35,10 +35,10 @@ abstract class ContextualEvaluator(ctx: LeonContext, prog: Program, val maxSteps
       ctx.timers.evaluators.recursive.runtime.start()
       EvaluationResults.Successful(e(ex)(initRC(model.toMap), lastGC.get))
     } catch {
-      case so: StackOverflowError =>
-        EvaluationResults.EvaluatorError("Stack overflow")
       case EvalError(msg) =>
         EvaluationResults.EvaluatorError(msg)
+      case so: StackOverflowError =>
+        EvaluationResults.RuntimeError("Stack overflow")
       case e @ RuntimeError(msg) =>
         EvaluationResults.RuntimeError(msg)
       case jre: java.lang.RuntimeException =>