Commit 45368450 authored by Fabian Reck's avatar Fabian Reck
Browse files

fixed error in the syntax definition of case alternatives

parent 153398eb
......@@ -4372,7 +4372,7 @@ end
\production Alt
Pattern \term{->} Expr \opt{\term{where} LocalDefs}
\por Pattern GdAlts \term{->} Expr \opt{\term{where} LocalDefs}
\por Pattern GdAlts \opt{\term{where} LocalDefs}
\production GdAlts
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment