From 5bfd514aa5d9a19d1dd0f4e874412c210a1893ce Mon Sep 17 00:00:00 2001
From: OndrejPopp <50676516+OndrejPopp@users.noreply.github.com>
Date: Mon, 20 Jan 2025 10:44:27 +0100
Subject: [PATCH] [lex.string] Fix missing space in grammar production (#7577)

---
 source/lex.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/lex.tex b/source/lex.tex
index 8f8df12ed3..7e7b6d1bc2 100644
--- a/source/lex.tex
+++ b/source/lex.tex
@@ -1776,7 +1776,7 @@
 
 \begin{bnf}
 \nontermdef{d-char-sequence}\br
-    d-char\opt{d-char-sequence}
+    d-char \opt{d-char-sequence}
 \end{bnf}
 
 \begin{bnf}