From e4db1eca215d2a20dac47d043b00e2e529d6241b Mon Sep 17 00:00:00 2001
From: msozeau
Date: Sat, 13 Jun 2009 15:58:43 +0000
Subject: Correct typo: -noglob takes no argument.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12186 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/usage.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/toplevel/usage.ml b/toplevel/usage.ml
index a9cd00cd40..8a8480c416 100644
--- a/toplevel/usage.ml
+++ b/toplevel/usage.ml
@@ -58,7 +58,7 @@ let print_usage_channel co command =
   -batch                 batch mode (exits just after arguments parsing)
   -boot                  boot mode (implies -q and -batch)
   -emacs                 tells Coq it is executed under Emacs
-  -noglob f              do not dump globalizations
+  -noglob                do not dump globalizations
   -dump-glob f           dump globalizations in file f (to be used by coqdoc)
   -with-geoproof (yes|no) to (de)activate special functions for Geoproof within Coqide (default is yes)
   -impredicative-set     set sort Set impredicative
-- 
cgit v1.2.3