diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-03-04 17:10:23 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-03-04 17:10:23 +0100 |
commit | dffc6a20eb1a0636904164e00b5963ed96f774c4 (patch) | |
tree | 138b1c0a86f27cc3d29a65b77d7ca0335cd1dbcd /parsing/cLexer.mli | |
parent | b3a8761790c0905aad8e5d3102fab606fe5e7fd6 (diff) | |
parent | 2a64471512ee7dcd6d6c65cd5a792344628616f0 (diff) |
Merge PR #6736: [toplevel] Move beautify to its own pass.
Diffstat (limited to 'parsing/cLexer.mli')
-rw-r--r-- | parsing/cLexer.mli | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/parsing/cLexer.mli b/parsing/cLexer.mli index 5f4e10f14..2d35571f1 100644 --- a/parsing/cLexer.mli +++ b/parsing/cLexer.mli @@ -55,7 +55,4 @@ val get_lexer_state : unit -> lexer_state val release_lexer_state : unit -> lexer_state [@@ocaml.deprecated "Use get_lexer_state"] val drop_lexer_state : unit -> unit - -(* Retrieve the comments lexed at a given location of the stream - currently being processeed *) -val extract_comments : int -> string list +val get_comment_state : lexer_state -> ((int * int) * string) list |