From a84fbecbe69314a9f93dcc23a88165dd944e83a4 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Wed, 11 Mar 2020 07:51:29 -0700 Subject: [PATCH] [typo] fix doc Summary: gah! Reviewed By: jberdine Differential Revision: D20385265 fbshipit-source-id: 89d672b74 --- infer/src/base/CommandLineOption.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/infer/src/base/CommandLineOption.ml b/infer/src/base/CommandLineOption.ml index 932592bb8..2fa04596c 100644 --- a/infer/src/base/CommandLineOption.ml +++ b/infer/src/base/CommandLineOption.ml @@ -458,7 +458,8 @@ let mk_bool ?(deprecated_no = []) ?(default = false) ?(f = fun b -> b) ?(depreca | None -> ( match deprecated with | [] -> - (* [mk] will fail in this case but with a non-informative message if this is the auto-genarated negated form of the option *) + (* [mk] will fail in this case but with a non-informative message if this is the + auto-generated negated form of the option *) L.die InternalError "No command line flag can be given to enable this option or to disable it (did you \ forget to give it a `~deprecated_no` form?). The documentation for this option is \