diff options
author | Jim Fehrle <jfehrle@sbcglobal.net> | 2018-02-21 16:04:06 -0800 |
---|---|---|
committer | Jim Fehrle <jfehrle@sbcglobal.net> | 2018-02-22 09:41:51 -0800 |
commit | 648483fe2ff3942b9f2f2cbbf7a0552b8e1997c4 (patch) | |
tree | 6f1274519a1f285205da750bbf85b7ebc8eef9c7 /parsing/cLexer.mli | |
parent | aec63ba9c8f6840d98ba731640a786138d836343 (diff) |
Rename release_lexer_state to the more descriptive get_lexer_state.
Diffstat (limited to 'parsing/cLexer.mli')
-rw-r--r-- | parsing/cLexer.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/parsing/cLexer.mli b/parsing/cLexer.mli index d3ef19873..5f4e10f14 100644 --- a/parsing/cLexer.mli +++ b/parsing/cLexer.mli @@ -51,7 +51,9 @@ type lexer_state val init_lexer_state : Loc.source -> lexer_state val set_lexer_state : lexer_state -> unit +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 |