From eadb00648127c9a535b533d51189dce41ef16db7 Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Sun, 17 Feb 2019 10:10:22 +0100
Subject: Multiple payload types in tokens

Instead of just string (and empty strings for tokens without payload)
---
 parsing/notation_gram.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'parsing/notation_gram.ml')

diff --git a/parsing/notation_gram.ml b/parsing/notation_gram.ml
index a50f8d69e3..6df0d6f21a 100644
--- a/parsing/notation_gram.ml
+++ b/parsing/notation_gram.ml
@@ -21,7 +21,7 @@ type level = Constrexpr.notation_entry * precedence * tolerability list * constr
   (* first argument is InCustomEntry s for custom entries *)
 
 type grammar_constr_prod_item =
-  | GramConstrTerminal of Tok.pattern
+  | GramConstrTerminal of string Tok.p
   | GramConstrNonTerminal of Extend.constr_prod_entry_key * Id.t option
   | GramConstrListMark of int * bool * int
     (* tells action rule to make a list of the n previous parsed items;
-- 
cgit v1.2.3