From c997697d9c7d45d95585ab8f624a876d0af0b69d Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Tue, 8 Dec 2015 16:35:04 +0100
Subject: [PATCH] Passes with guarded cases now remain
---
src/main/scala/leon/purescala/Extractors.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/purescala/Extractors.scala b/src/main/scala/leon/purescala/Extractors.scala
index 671c12969..47dfd7b7c 100644
--- a/src/main/scala/leon/purescala/Extractors.scala
+++ b/src/main/scala/leon/purescala/Extractors.scala
@@ -214,7 +214,7 @@ object Extractors {
var i = 0
val newcases = for (caze <- cases) yield caze match {
case SimpleCase(b, _) => i += 1; SimpleCase(b, es(i - 1))
- case GuardedCase(b, _, _) => i += 2; GuardedCase(b, es(i - 1), es(i - 2))
+ case GuardedCase(b, _, _) => i += 2; GuardedCase(b, es(i - 2), es(i - 1))
}
passes(in, out, newcases)
--
GitLab