diff options
| author | herbelin | 2002-11-15 09:49:21 +0000 |
|---|---|---|
| committer | herbelin | 2002-11-15 09:49:21 +0000 |
| commit | 3da6bce8b6cd925dbc12118064cb214c3cb39ef9 (patch) | |
| tree | 16719a602afbb911bccdd3cca560a7c7f48b8513 | |
| parent | d16742e45d2a099412e19543978ec86501c698c1 (diff) | |
Bug factorisation grammaire
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3242 85f007b7-540e-0410-9357-904b9bb8a0f7
| -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; |