From 7b8a8974dcd78ae6810f297d2429841608f214f8 Mon Sep 17 00:00:00 2001
From: Alf Eaton <alf.eaton@overleaf.com>
Date: Mon, 11 Sep 2023 10:53:22 +0100
Subject: [PATCH] Merge pull request #14693 from
 overleaf/unknown-document-environment

Set EnvName as optional in Environment definition

GitOrigin-RevId: feb048199737108734df45fd4a057d932a6bf785
---
 .../js/features/source-editor/lezer-latex/latex.grammar       | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/services/web/frontend/js/features/source-editor/lezer-latex/latex.grammar b/services/web/frontend/js/features/source-editor/lezer-latex/latex.grammar
index 002fa81fba..285b53a982 100644
--- a/services/web/frontend/js/features/source-editor/lezer-latex/latex.grammar
+++ b/services/web/frontend/js/features/source-editor/lezer-latex/latex.grammar
@@ -613,9 +613,9 @@ EnvNameGroup<name> {
 }
 
 Environment[@isGroup="$Environment"] {
-    BeginEnv<EnvName>
+    BeginEnv<EnvName?>
     Content<Text>
-    EndEnv<EnvName>
+    EndEnv<EnvName?>
 }
 
 Group<GroupContent> {