diff --git a/src/main/scala/leon/evaluators/RecursiveEvaluator.scala b/src/main/scala/leon/evaluators/RecursiveEvaluator.scala
index cf58bf06658c880a4ce84b1a805cc8788f89d1a1..75c691edf1f7e5a4ca056bf8c8448bff9b5ead77 100644
--- a/src/main/scala/leon/evaluators/RecursiveEvaluator.scala
+++ b/src/main/scala/leon/evaluators/RecursiveEvaluator.scala
@@ -37,8 +37,7 @@ abstract class RecursiveEvaluator(ctx: LeonContext, prog: Program, maxSteps: Int
         case Some(v) =>
           v
         case None =>
-          ctx.reporter.fatalError("No value for identifier " + id.asString + " in mapping.")
-          //throw EvalError()
+          throw EvalError("No value for identifier " + id.asString + " in mapping.")
       }
 
     case Application(caller, args) =>