diff --git a/src/partialGrammar.ml b/src/partialGrammar.ml index 15dc3963a0fc599e341fda5bddaa816665ae5839..ae65b0cd83c1aea16aa8b8f5b88e9717924bd169 100644 --- a/src/partialGrammar.ml +++ b/src/partialGrammar.ml @@ -587,7 +587,7 @@ let join grammar pgrammar = let check_keywords producers action = List.iter (fun keyword -> match Positions.value keyword with - | Position (RightNamed id, _, _) -> + | Position (RightNamed id, _, _) -> let found = ref false in List.iter (fun (ido, _) -> if ido.value = id then found := true @@ -595,9 +595,9 @@ let check_keywords producers action = if not !found then Error.errorp keyword "%s refers to a nonexistent symbol." id - | Position (Left, _, _) - | SyntaxError -> - () + | Position (Left, _, _) + | SyntaxError -> + () ) (Action.pkeywords action) let check_parameterized_grammar_is_well_defined grammar =