Make \with in \case expressions optional

JetBrains · Feb 24, 2021 · a4ab4b2 · a4ab4b2
1 parent 8b87a8b
commit a4ab4b2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/grammars/ArendParser.bnf b/src/main/grammars/ArendParser.bnf
@@ -554,7 +554,7 @@ appExpr ::= universeAppExpr
     recoverWhile = expr_recover
 }
 
-caseExpr ::= casePrefix caseOpt <<comma_separated_sequence caseArg>> returnCaseExpr? withBody {
+caseExpr ::= casePrefix caseOpt <<comma_separated_sequence caseArg>> returnCaseExpr? withBody? {
     pin = 2
     implements = "org.arend.term.abs.Abstract.CaseArgumentsHolder"
     mixin = "org.arend.psi.ext.ArendCaseExprImplMixin"