From ab612ddc886b98cf54c69e31825fbe6224fc3531 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Wed, 9 Jan 2013 11:59:49 +0100
Subject: [PATCH] Allow "&" along with "**" (Which is deprecated by Scala)
---
src/main/scala/leon/plugin/Extractors.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/plugin/Extractors.scala b/src/main/scala/leon/plugin/Extractors.scala
index 978b6d833..e301ab021 100644
--- a/src/main/scala/leon/plugin/Extractors.scala
+++ b/src/main/scala/leon/plugin/Extractors.scala
@@ -647,7 +647,7 @@ trait Extractors {
object ExIntersection {
def unapply(tree: Apply): Option[(Tree,Tree)] = tree match {
- case Apply(Select(lhs, n), List(rhs)) if (n == encode("**")) => Some((lhs,rhs))
+ case Apply(Select(lhs, n), List(rhs)) if (n == encode("**") || n == encode("&")) => Some((lhs,rhs))
case _ => None
}
}
--
GitLab