diff --git a/infer/src/base/Checker.ml b/infer/src/base/Checker.ml index 9b007a53b..98b69f6e0 100644 --- a/infer/src/base/Checker.ml +++ b/infer/src/base/Checker.ml @@ -281,7 +281,7 @@ let config_unsafe checker = | Pulse -> { id= "pulse" ; kind= UserFacing {title= "Pulse"; markdown_body= ""} - ; support= supports_clang_and_java_experimental + ; support= (function Clang -> Support | Java -> ExperimentalSupport) ; short_documentation= "Memory and lifetime analysis." ; cli_flags= Some {deprecated= ["-ownership"]; show_in_help= true} ; enabled_by_default= false