From 43d7428e8f565e8efeb069ae7fb4884a905d40c3 Mon Sep 17 00:00:00 2001
From: Dulma Churchill <dulmarod@fb.com>
Date: Fri, 26 May 2017 04:00:30 -0700
Subject: [PATCH] [linters] Linters options in the help

Reviewed By: jvillard

Differential Revision: D5137137

fbshipit-source-id: 65f9ca4
---
 infer/src/base/Config.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml
index 45d371447..80b139797 100644
--- a/infer/src/base/Config.ml
+++ b/infer/src/base/Config.ml
@@ -845,7 +845,7 @@ and (
       [filtering]
 
   and default_linters =
-    CLOpt.mk_bool ~long:"default-linters" ~in_help:CLOpt.[Capture, manual_clang; Run, manual_clang]
+    CLOpt.mk_bool ~long:"default-linters" ~in_help:CLOpt.[Capture, manual_clang_linters]
       ~default:true
       "Use the default linters for the analysis."
 
@@ -864,7 +864,7 @@ and (
   in
   let linters_developer_mode =
     CLOpt.mk_bool_group ~long:"linters-developer-mode"
-      ~in_help:CLOpt.[Capture, manual_clang; Run, manual_clang]
+      ~in_help:CLOpt.[Capture, manual_clang_linters]
       "Debug mode for developing new linters. (Sets the analyzer to $(b,linters); also sets \
        $(b,--debug), $(b,--developer-mode), $(b,--print-logs), and \
        unsets $(b,--allowed-failures) and $(b,--default-linters)."