diff options
Diffstat (limited to 'parsing/egramcoq.ml')
| -rw-r--r-- | parsing/egramcoq.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/egramcoq.ml b/parsing/egramcoq.ml index 1c00e6581..bbc4a0c5a 100644 --- a/parsing/egramcoq.ml +++ b/parsing/egramcoq.ml @@ -56,7 +56,7 @@ let cases_pattern_expr_of_name (loc,na) = match na with type grammar_constr_prod_item = | GramConstrTerminal of Tok.t - | GramConstrNonTerminal of constr_prod_entry_key * identifier option + | GramConstrNonTerminal of constr_prod_entry_key * Id.t option | GramConstrListMark of int * bool (* tells action rule to make a list of the n previous parsed items; concat with last parsed list if true *) |