diff --git a/src/main/scala/leon/purescala/Expressions.scala b/src/main/scala/leon/purescala/Expressions.scala
index 3855813de7e618bc272c6cc845cb24bb3983a5e3..a975aa91a919b588649790c995639db4e6beb21c 100644
--- a/src/main/scala/leon/purescala/Expressions.scala
+++ b/src/main/scala/leon/purescala/Expressions.scala
@@ -234,7 +234,6 @@ object Expressions {
   /* Universal Quantification */
 
   case class Forall(args: Seq[ValDef], body: Expr) extends Expr {
-    assert(body.getType == BooleanType)
     val getType = BooleanType
   }