diff --git a/src/main/scala/leon/solvers/unrolling/QuantificationManager.scala b/src/main/scala/leon/solvers/unrolling/QuantificationManager.scala index 84f7d0ae5635fcaf7d5e2a5db678d08953e81ea0..af31e6543edc4ca06bf58648f37412bb9cf6b22d 100644 --- a/src/main/scala/leon/solvers/unrolling/QuantificationManager.scala +++ b/src/main/scala/leon/solvers/unrolling/QuantificationManager.scala @@ -1194,8 +1194,8 @@ class QuantificationManager[T](encoder: TemplateEncoder[T]) extends LambdaManage partials.get(encoded).orElse(types.get(tpe)).map { domain => val conditionals = domain.flatMap { case (b, m) => extract(b, m).map { args => - val result = evaluator.eval(application(value, args)).result.getOrElse { - scala.sys.error("Unexpectedly failed to evaluate " + application(value, args)) + val result = evaluator.eval(application(f, args)).result.getOrElse { + scala.sys.error("Unexpectedly failed to evaluate " + application(f, args)) } val cond = if (m.args.exists(arg => isQuantifier(arg.encoded))) {