diff --git a/src/main/scala/inox/ast/DSL.scala b/src/main/scala/inox/ast/DSL.scala
index 9fed5297a0f71c92df1210d63b398c207d9230aa..ce936c5800df410fd70840e96ab6a84ac23ed451 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)
   }