From af6a803c2dafd95ed828d284860e7235cb4bacda Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 29 May 2012 11:09:28 +0000
Subject: Avoid Dumpglob dependency on Lexer

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

(limited to 'interp/dumpglob.mli')

diff --git a/interp/dumpglob.mli b/interp/dumpglob.mli
index 16fa04ef9..469df1222 100644
--- a/interp/dumpglob.mli
+++ b/interp/dumpglob.mli
@@ -22,10 +22,6 @@ val dump_to_dotglob : unit -> unit
 val pause : unit -> unit
 val continue : unit -> unit
 
-type coqdoc_state = Lexer.location_table
-val coqdoc_freeze : unit -> coqdoc_state
-val coqdoc_unfreeze : coqdoc_state -> unit
-
 val add_glob : Pp.loc -> Globnames.global_reference -> unit
 val add_glob_kn : Pp.loc -> Names.kernel_name -> unit
 
-- 
cgit v1.2.3