diff --git a/src/main/scala/leon/synthesis/utils/ExpressionGrammar.scala b/src/main/scala/leon/synthesis/utils/ExpressionGrammar.scala
index e9d79114e9da47b37d1ce0edd0f6263c7ae072f7..d555318ba291dd0a58d961de725306b2b8a2a1d8 100644
--- a/src/main/scala/leon/synthesis/utils/ExpressionGrammar.scala
+++ b/src/main/scala/leon/synthesis/utils/ExpressionGrammar.scala
@@ -95,10 +95,6 @@ object ExpressionGrammars {
           Generator(List(Int32Type, Int32Type), { case Seq(a,b) => Times(a, b) })
         )
 
-      case tp@TypeParameter(_) =>
-        for (ind <- (1 to 3).toList) yield
-          Generator[TypeTree, Expr](Nil, { _ => GenericValue(tp, ind) } )
-
       case TupleType(stps) =>
         List(Generator(stps, { sub => Tuple(sub) }))