From cc6957b0dbb19a4c0ca505650d252d9486088a5f Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Tue, 30 Aug 2016 16:40:30 +0200 Subject: Fix #4941 - ~/.coqrc file confusing locations --- parsing/cLexer.mli | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'parsing/cLexer.mli') diff --git a/parsing/cLexer.mli b/parsing/cLexer.mli index d99ba3557..3b4891d9a 100644 --- a/parsing/cLexer.mli +++ b/parsing/cLexer.mli @@ -17,7 +17,13 @@ type location_table val location_table : unit -> location_table val restore_location_table : location_table -> unit -(** [set_current_file fname] sets the filename in locations emitted by the lexer *) + +(** [get_current_file fname] returns the filename used in locations emitted by + the lexer *) +val get_current_file : unit -> string + +(** [set_current_file fname] sets the filename used in locations emitted by the + lexer *) val set_current_file : fname:string -> unit val check_ident : string -> unit -- cgit v1.2.3