diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index a3bbd84ba..5a0e37005 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -30,12 +30,12 @@ type analyzer = let equal_analyzer = [%compare.equal : analyzer] let string_to_analyzer = - [ ("biabduction", BiAbduction) + [ ("infer", BiAbduction) + ; ("biabduction", BiAbduction) ; ("capture", CaptureOnly) ; ("checkers", Checkers) ; ("compile", CompileOnly) ; ("crashcontext", Crashcontext) - ; ("infer", BiAbduction) ; ("linters", Linters) ] let string_of_analyzer a =