From 28e375bf8c80dc39af4ae69ca390a4f5384b3860 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Tue, 6 Nov 2012 14:26:48 +0100
Subject: [PATCH] Make sure we never construct Ands like that
---
src/main/scala/leon/purescala/Trees.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/purescala/Trees.scala b/src/main/scala/leon/purescala/Trees.scala
index 9261a423e..27db954ea 100644
--- a/src/main/scala/leon/purescala/Trees.scala
+++ b/src/main/scala/leon/purescala/Trees.scala
@@ -181,7 +181,7 @@ object Trees {
if(and == null) None else Some(and.exprs)
}
- class And(val exprs: Seq[Expr]) extends Expr with FixedType {
+ class And private (val exprs: Seq[Expr]) extends Expr with FixedType {
val fixedType = BooleanType
}
--
GitLab