diff --git a/src/main/scala/leon/purescala/Extractors.scala b/src/main/scala/leon/purescala/Extractors.scala
index 671c129693bd17b3ee002a7a154bedf5308c5641..47dfd7b7c576bc2e331bf5f7369b2ff6d94e805c 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)