From 8ac05b9136af358c2acae81e9db93705f1d9606c Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Thu, 13 Mar 2014 15:00:02 +0100
Subject: [PATCH] Make sure we target Array.update only with ExUpdate
---
src/main/scala/leon/frontends/scalac/ASTExtractors.scala | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/frontends/scalac/ASTExtractors.scala b/src/main/scala/leon/frontends/scalac/ASTExtractors.scala
index 3e7021f63..095927d15 100644
--- a/src/main/scala/leon/frontends/scalac/ASTExtractors.scala
+++ b/src/main/scala/leon/frontends/scalac/ASTExtractors.scala
@@ -703,8 +703,9 @@ trait ASTExtractors {
object ExUpdate {
def unapply(tree: Apply): Option[(Tree, Tree, Tree)] = tree match {
case Apply(
- Select(lhs, update),
- index :: newValue :: Nil) if(update.toString == "update") => Some((lhs, index, newValue))
+ s @ Select(lhs, update),
+ index :: newValue :: Nil) if(s.symbol.fullName.endsWith("Array.update")) =>
+ Some((lhs, index, newValue))
case _ => None
}
}
--
GitLab