From 648483fe2ff3942b9f2f2cbbf7a0552b8e1997c4 Mon Sep 17 00:00:00 2001 From: Jim Fehrle Date: Wed, 21 Feb 2018 16:04:06 -0800 Subject: Rename release_lexer_state to the more descriptive get_lexer_state. --- parsing/cLexer.ml4 | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'parsing/cLexer.ml4') diff --git a/parsing/cLexer.ml4 b/parsing/cLexer.ml4 index f26398fa92..52a6fe16c6 100644 --- a/parsing/cLexer.ml4 +++ b/parsing/cLexer.ml4 @@ -404,8 +404,9 @@ let set_lexer_state (o,s,b,c,f) = between_commands := b; comments := c; current_file := f -let release_lexer_state () = +let get_lexer_state () = (!comment_begin, Buffer.contents current_comment, !between_commands, !comments, !current_file) +let release_lexer_state = get_lexer_state let drop_lexer_state () = set_lexer_state (init_lexer_state Loc.ToplevelInput) -- cgit v1.2.3