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/pcoq.ml | |
parent | aec63ba9c8f6840d98ba731640a786138d836343 (diff) |
Rename release_lexer_state to the more descriptive get_lexer_state.
Diffstat (limited to 'parsing/pcoq.ml')
-rw-r--r-- | parsing/pcoq.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/parsing/pcoq.ml b/parsing/pcoq.ml index 54e7949ae..73e103995 100644 --- a/parsing/pcoq.ml +++ b/parsing/pcoq.ml @@ -111,7 +111,7 @@ end with type 'a Entry.e = 'a Grammar.GMake(CLexer).Entry.e = struct let state = ref (CLexer.init_lexer_state file) in CLexer.set_lexer_state !state; let a = parsable c in - state := CLexer.release_lexer_state (); + state := CLexer.get_lexer_state (); (a,state) let action = Gramext.action @@ -121,7 +121,7 @@ end with type 'a Entry.e = 'a Grammar.GMake(CLexer).Entry.e = struct CLexer.set_lexer_state !state; try let c = Entry.parse e p in - state := CLexer.release_lexer_state (); + state := CLexer.get_lexer_state (); c with Ploc.Exc (loc,e) -> CLexer.drop_lexer_state (); @@ -133,7 +133,7 @@ end with type 'a Entry.e = 'a Grammar.GMake(CLexer).Entry.e = struct CLexer.set_lexer_state !state; try let a = f x in - state := CLexer.release_lexer_state (); + state := CLexer.get_lexer_state (); a with e -> CLexer.drop_lexer_state (); |