diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index 96875608f..199330a89 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -744,7 +744,7 @@ and ( annotation_reachability and starvation = mk_checker ~long:"starvation" ~default:false "starvation analysis" and suggest_nullable = mk_checker ~long:"suggest-nullable" ~default:false "Nullable annotation sugesstions analysis" - and uninit = mk_checker ~long:"uninit" "checker for use of uninitialized values" in + and uninit = mk_checker ~long:"uninit" "checker for use of uninitialized values" ~default:true in let mk_only (var, long, doc, _) = let _ : bool ref = CLOpt.mk_bool_group ~long:(long ^ "-only")