diff --git a/src/main/scala/leon/repair/Repairman.scala b/src/main/scala/leon/repair/Repairman.scala
index f72b889209512be5606abcd3d19f900188ee23a7..b14e7b6cb4c212b8dbbfc26a385666754c4bf529 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 _ =>