From 7254937d3470e8a22d7c3317c8dc4e2c65734c5e Mon Sep 17 00:00:00 2001
From: Andreas Krug <153394595+Andreas-Krug@users.noreply.github.com>
Date: Mon, 15 Jul 2024 18:20:04 +0200
Subject: [PATCH] [temp.constr.normal] Remove superfluous the

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

diff --git a/source/templates.tex b/source/templates.tex
index b88b4a7b0e..c91178088f 100644
--- a/source/templates.tex
+++ b/source/templates.tex
@@ -1948,7 +1948,7 @@
 that is either \tcode{\&\&} or \tcode{||},
 the normal form of an expression
 \tcode{( E1 \grammarterm{fold-operator} ... \grammarterm{fold-operator} E2 )}
-is the the normal form of
+is the normal form of
 \begin{itemize}
 \item
 \tcode{( E1 \grammarterm{fold-operator} ... ) \grammarterm{fold-operator} E2}