From b43956fe19177a178dfbcef0b173ebada5060973 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Mon, 9 May 2016 15:32:38 +0200
Subject: Fix typo in configure's option description.

---
 configure.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 () =
-- 
cgit v1.2.3