From 5d0675a8d3817c3bc5ea3ba31a8ad28888517c6c Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Fri, 8 Apr 2016 23:12:11 +0200
Subject: [PATCH] Removed well-typed assertion to allow step-wise
transformations
---
src/main/scala/leon/purescala/Expressions.scala | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/main/scala/leon/purescala/Expressions.scala b/src/main/scala/leon/purescala/Expressions.scala
index 3855813de..a975aa91a 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
}
--
GitLab