diff options
Diffstat (limited to 'gramlib/grammar.ml')
| -rw-r--r-- | gramlib/grammar.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gramlib/grammar.ml b/gramlib/grammar.ml index fd3ff25fc1..3807b27272 100644 --- a/gramlib/grammar.ml +++ b/gramlib/grammar.ml @@ -1184,7 +1184,7 @@ let call_and_push ps al strm = let a = ps strm in let al = if !item_skipped then al else a :: al in item_skipped := false; al -let token_ematch gram tok = +let token_ematch tok = let tematch = L.tok_match tok in fun tok -> tematch tok @@ -1282,7 +1282,7 @@ and parser_of_token_list : type s tr lt r f. fun entry son p1 rev_tokl last_tok -> let n = tok_list_length rev_tokl + 1 in let plast : r parser_t = - let tematch = token_ematch egram last_tok in + let tematch = token_ematch last_tok in let ps strm = match peek_nth n strm with Some tok -> @@ -1301,7 +1301,7 @@ and parser_of_token_list : type s tr lt r f. fun n tokl plast -> match tokl with | TokNil -> plast | TokCns (tok, tokl) -> - let tematch = token_ematch egram tok in + let tematch = token_ematch tok in let ps strm = match peek_nth n strm with Some tok -> tematch tok |