diff --git a/infer/src/IR/Exceptions.ml b/infer/src/IR/Exceptions.ml index 15e0c8c6e..bd5c9c015 100644 --- a/infer/src/IR/Exceptions.ml +++ b/infer/src/IR/Exceptions.ml @@ -251,7 +251,7 @@ let recognize_exception exn = ; severity= None ; category= Checker } | Dummy_exception desc -> - { name= IssueType.from_string "Analysis stops" + { name= IssueType.analysis_stops ; description= desc ; ocaml_pos= None ; visibility= Exn_developer