From 23e8b66e6b56c3c708761e6d05d28edb4da79cb5 Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Wed, 21 Jan 2015 16:48:31 +0100
Subject: [PATCH] Correctly type function invocations in Repairman
---
src/main/scala/leon/repair/Repairman.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/repair/Repairman.scala b/src/main/scala/leon/repair/Repairman.scala
index f72b88920..b14e7b6cb 100644
--- a/src/main/scala/leon/repair/Repairman.scala
+++ b/src/main/scala/leon/repair/Repairman.scala
@@ -376,7 +376,7 @@ class Repairman(ctx: LeonContext, initProgram: Program, fd: FunDef, verifTimeout
}
val inputsToExample: Seq[Expr] => Example = { ins =>
- evaluator.eval(FunctionInvocation(fd.typed(fd.tparams.map(_.tp)), ins)) match {
+ evaluator.eval(functionInvocation(fd, ins)) match {
case EvaluationResults.Successful(res) =>
new InOutExample(ins, List(res))
case _ =>
--
GitLab