From d6f4f3f3dc92d805bc046bcdbc30dd7df65fb4aa Mon Sep 17 00:00:00 2001
From: notin
Date: Fri, 18 Jul 2008 15:58:12 +0000
Subject: Rétablissement de l'option -dump-glob de coq top et de l'option
 -glob-from de coqdoc (compatibilité)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11236 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/flags.mli | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'lib/flags.mli')

diff --git a/lib/flags.mli b/lib/flags.mli
index 4cab303815..8c16e5b858 100644
--- a/lib/flags.mli
+++ b/lib/flags.mli
@@ -57,11 +57,6 @@ val print_hyps_limit : unit -> int option
 val add_unsafe : string -> unit
 val is_unsafe : string -> bool
 
-(* Dump of globalization (to be used by coqdoc) *)
-
-val noglob : bool ref
-val dump : bool ref
-
 (* Options for the virtual machine *)
 
 val set_boxed_definitions : bool -> unit
-- 
cgit v1.2.3