diff options
| -rw-r--r-- | parsing/g_constrnew.ml4 | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/parsing/g_constrnew.ml4 b/parsing/g_constrnew.ml4 index 5048b6bd86..99c3570f32 100644 --- a/parsing/g_constrnew.ml4 +++ b/parsing/g_constrnew.ml4 @@ -286,7 +286,8 @@ GEXTEND Gram [ [ pl = LIST1 pattern SEP ","; "=>"; rhs = lconstr -> (loc,pl,rhs) ] ] ; pattern: - [ "100" LEFTA + [ "200" RIGHTA [ ] + | "100" LEFTA [ p = pattern; "|"; pl = LIST1 pattern SEP "|" -> CPatOr (loc,p::pl) ] | "10" LEFTA [ p = pattern; lp = LIST1 (pattern LEVEL "0") -> |