diff --git a/infer/src/IR/Typ.ml b/infer/src/IR/Typ.ml index dd51aa728..fa888d197 100644 --- a/infer/src/IR/Typ.ml +++ b/infer/src/IR/Typ.ml @@ -1074,7 +1074,7 @@ module Procname = struct | Java pname -> (* Strip autogenerated anonymous inner class numbers in order to keep the bug hash invariant when introducing new annonynous classes *) - Str.global_replace (Str.regexp "$[0-9]+") "$_" + Str.global_replace (Str.regexp "\\$[0-9]+") "$_" (Java.to_string ~withclass:true pname Simple) | ObjC_Cpp m when ObjC_Cpp.is_objc_method m -> (* In Objective C, the list of parameters is part of the method name. To prevent the bug