From fb8abd6f1dd26d48ff7471f14fbd4121d264da0a Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Mon, 10 Nov 2014 18:33:14 +0100
Subject: [PATCH] Correctly encode names when searching for functions in
OptionsHelpers
---
src/main/scala/leon/LeonOption.scala | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/main/scala/leon/LeonOption.scala b/src/main/scala/leon/LeonOption.scala
index fa5c0929f..204d9a821 100644
--- a/src/main/scala/leon/LeonOption.scala
+++ b/src/main/scala/leon/LeonOption.scala
@@ -68,7 +68,8 @@ object OptionsHelpers {
val regexPatterns = patterns map { s =>
import java.util.regex.Pattern
- val p = s.replaceAll("\\.", "\\\\.").replaceAll("_", ".+")
+ val p0 = scala.reflect.NameTransformer.encode(s)
+ val p = p0.replaceAll("\\$","\\\\\\$").replaceAll("\\.", "\\\\.").replaceAll("_", ".+")
Pattern.compile(p)
}
--
GitLab