From 853fd284a0547e9a4cc096e8193fb55100dd60c4 Mon Sep 17 00:00:00 2001
From: Ondrej Popp <ondrej.popp70@gmail.com>
Date: Mon, 14 Apr 2025 17:07:53 +0200
Subject: [PATCH] [dcl.contract.func] added missing \br after
 precondition-specifier

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

diff --git a/source/declarations.tex b/source/declarations.tex
index 24b34f254c..020161723b 100644
--- a/source/declarations.tex
+++ b/source/declarations.tex
@@ -4486,7 +4486,7 @@
 \end{bnf}
 
 \begin{bnf}
-\nontermdef{precondition-specifier}
+\nontermdef{precondition-specifier}\br
   \terminal{pre} \opt{attribute-specifier-seq} \terminal{(} conditional-expression \terminal{)}
 \end{bnf}