diff options
| author | Guillaume Melquiond | 2016-05-09 15:32:38 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2016-05-09 15:32:38 +0200 |
| commit | b43956fe19177a178dfbcef0b173ebada5060973 (patch) | |
| tree | eeebd8b66f92ab5eea48d6708bc3b870bb124f00 | |
| parent | bfa9987d57cd729c40332202a505753beca52e91 (diff) | |
Fix typo in configure's option description.
| -rw-r--r-- | configure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ml b/configure.ml index ff6c367c68..3fcc24d05d 100644 --- a/configure.ml +++ b/configure.ml @@ -335,7 +335,7 @@ let args_options = Arg.align [ "-coqwebsite", Arg.Set_string Prefs.coqwebsite, " URL of the coq website"; "-force-caml-version", Arg.Set Prefs.force_caml_version, - "Force OCaml version"; + " Force OCaml version"; ] let parse_args () = |