From 4e31561f7e0d5e647e86978806cae82ffb35f90b Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Tue, 11 Oct 2016 12:58:42 +0200 Subject: Removing export of location_table outside of cLexer. It was not used any more by coqdoc since b8194b22 (Dec 2010). The table is now only part of the lexer function closure (and only in the camlp5 case). --- parsing/cLexer.mli | 8 -------- 1 file changed, 8 deletions(-) (limited to 'parsing/cLexer.mli') diff --git a/parsing/cLexer.mli b/parsing/cLexer.mli index 3ad49eb74..71edda760 100644 --- a/parsing/cLexer.mli +++ b/parsing/cLexer.mli @@ -10,14 +10,6 @@ val add_keyword : string -> unit val remove_keyword : string -> unit val is_keyword : string -> bool -(* val location_function : int -> Loc.t *) - -(** for coqdoc *) -type location_table -val location_table : unit -> location_table -val restore_location_table : location_table -> unit - - (** [get_current_file fname] returns the filename used in locations emitted by the lexer *) val get_current_file : unit -> string -- cgit v1.2.3