[typo] fix doc

Summary: gah!

Reviewed By: jberdine

Differential Revision: D20385265

fbshipit-source-id: 89d672b74
master
Jules Villard 5 years ago committed by Facebook GitHub Bot
parent 4cee0882be
commit a84fbecbe6

@ -458,7 +458,8 @@ let mk_bool ?(deprecated_no = []) ?(default = false) ?(f = fun b -> b) ?(depreca
| None -> ( | None -> (
match deprecated with 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 L.die InternalError
"No command line flag can be given to enable this option or to disable it (did you \ "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 \ forget to give it a `~deprecated_no` form?). The documentation for this option is \

Loading…
Cancel
Save