diff options
| -rw-r--r-- | parsing/g_cases.ml4 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/parsing/g_cases.ml4 b/parsing/g_cases.ml4 index 67b6165da1..1b8be4f4ff 100644 --- a/parsing/g_cases.ml4 +++ b/parsing/g_cases.ml4 @@ -57,12 +57,12 @@ GEXTEND Gram [ [ "<"; p = lconstr; ">"; "Cases"; lc = LIST1 constr; "of"; OPT "|"; eqs = ne_eqn_list; "end" -> CCases (loc, Some p, lc, eqs) - | "Cases"; lc = ne_constr_list; "of"; + | "Cases"; lc = LIST1 constr; "of"; OPT "|"; eqs = ne_eqn_list; "end" -> CCases (loc, None, lc, eqs) - | "<"; p = lconstr; ">"; "Cases"; lc = ne_constr_list; "of"; "end" -> + | "<"; p = lconstr; ">"; "Cases"; lc = LIST1 constr; "of"; "end" -> CCases (loc, Some p, lc, []) - | "Cases"; lc = ne_constr_list; "of"; "end" -> + | "Cases"; lc = LIST1 constr; "of"; "end" -> CCases (loc, None, lc, []) ] ] ; END; |