diff --git a/src/main/scala/leon/LeonOption.scala b/src/main/scala/leon/LeonOption.scala
index fa5c0929f0c22d92fa0fc92f4a447c3de1d1c6c4..204d9a821041fadba1f575fb3e6c73032dbb08d1 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)
     }