From 936ce9ba8c4636b34a216a9e9646eaa38c2b227e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= <mikael.mayer@epfl.ch>
Date: Mon, 11 Jan 2016 17:34:11 +0100
Subject: [PATCH] Hot fix: EvalError instead of FatalError
---
src/main/scala/leon/evaluators/RecursiveEvaluator.scala | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/src/main/scala/leon/evaluators/RecursiveEvaluator.scala b/src/main/scala/leon/evaluators/RecursiveEvaluator.scala
index cf58bf066..75c691edf 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) =>
--
GitLab