From a4ab4b213a24cb0074ea2511dae2c55781aca80a Mon Sep 17 00:00:00 2001
From: valis <valery.isaev@gmail.com>
Date: Wed, 24 Feb 2021 12:22:10 +0300
Subject: [PATCH] Make \with in \case expressions optional

---
 src/main/grammars/ArendParser.bnf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/grammars/ArendParser.bnf b/src/main/grammars/ArendParser.bnf
index ab6c5ad08..2072f608c 100644
--- 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"