From 220def15b706590855081c1b9dad4dccb91e15a2 Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Mon, 12 Jul 2010 21:59:18 +0000
Subject: [PATCH] reverted Or generated in PM trans.
---
src/purescala/Analysis.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/purescala/Analysis.scala b/src/purescala/Analysis.scala
index d940dd70f..b2d26a375 100644
--- a/src/purescala/Analysis.scala
+++ b/src/purescala/Analysis.scala
@@ -269,7 +269,7 @@ object Analysis {
(newPVar, List(Equals(newPVar, CaseClass(ccd, argVars)), Implies(Equals(Variable(scrutAsLetID), newPVar), Equals(newVar, rewrittenRHS))) ::: moreExtras.toList)
}).toList
val (newPVars, newExtras) = lle.unzip
- extras = Let(scrutAsLetID, scrutinee, And(/*Or(newPVars.map(Equals(Variable(scrutAsLetID), _))),*/BooleanLiteral(true), And(newExtras.flatten))) :: extras
+ extras = Let(scrutAsLetID, scrutinee, And(Or(newPVars.map(Equals(Variable(scrutAsLetID), _))), And(newExtras.flatten))) :: extras
newVar
})
case _ => None
--
GitLab