From 24bee7cf490bcd2564450aee4b2b09c245175a02 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 4 Apr 2021 00:05:17 +0200
Subject: Gramlib: token_ematch has a useless argument.

---
 gramlib/grammar.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'gramlib')

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
-- 
cgit v1.2.3