From f46962ede67c08b6ed577238c60413a32cde95e3 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Fri, 29 Jul 2016 12:07:40 +0200
Subject: [PATCH] Whoops
---
src/main/scala/inox/ast/DSL.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/inox/ast/DSL.scala b/src/main/scala/inox/ast/DSL.scala
index 9fed5297a..ce936c580 100644
--- a/src/main/scala/inox/ast/DSL.scala
+++ b/src/main/scala/inox/ast/DSL.scala
@@ -119,7 +119,7 @@ trait DSL {
def E(vd: ValDef) = vd.toVariable // TODO: We should be able to remove this
def E(id: Identifier) = new IdToFunInv(id)
class IdToFunInv(id: Identifier) {
- def apply(tps: TypeParameter*)(args: Expr*) =
+ def apply(tps: Type*)(args: Expr*) =
FunctionInvocation(id, tps.toSeq, args.toSeq)
}
--
GitLab