From e218815e93a5c3ab7d7d9409fda79173afbb4493 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Wed, 5 Jul 2017 11:18:07 +0200
Subject: Add a -ignore-coq-version flag to configure (continued)

Typo in configure help message.
---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure b/configure
index 53346109..3d0196fb 100755
--- a/configure
+++ b/configure
@@ -70,7 +70,7 @@ Options:
   -no-runtime-lib      Do not compile nor install the runtime support library
   -no-standard-headers Do not install nor use the standard .h headers
   -clightgen           Also compile the clightgen tool
-  -ignore-coq-version  Accept touse experimental or unsupported versions of Coq
+  -ignore-coq-version  Accept to use experimental or unsupported versions of Coq
 '
 
 
-- 
cgit