diff options
Diffstat (limited to 'parsing/lexer.mli')
| -rw-r--r-- | parsing/lexer.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/lexer.mli b/parsing/lexer.mli index cef53a871..8eef2f63c 100644 --- a/parsing/lexer.mli +++ b/parsing/lexer.mli @@ -31,7 +31,7 @@ type com_state val com_state: unit -> com_state val restore_com_state: com_state -> unit -val set_xml_output_comment : (string -> unit) -> unit +val xml_output_comment : (string -> unit) Hook.t val terminal : string -> Tok.t |