diff options
Diffstat (limited to 'parsing/lexer.mli')
-rw-r--r-- | parsing/lexer.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/parsing/lexer.mli b/parsing/lexer.mli index dd811acfe..0ec5a80b4 100644 --- a/parsing/lexer.mli +++ b/parsing/lexer.mli @@ -29,8 +29,6 @@ type com_state val com_state: unit -> com_state val restore_com_state: com_state -> unit -val xml_output_comment : (string -> unit) Hook.t - val terminal : string -> Tok.t (** The lexer of Coq: *) |