From 765c00100bcc9388bd209dc5b0784aa3af0c36a4 Mon Sep 17 00:00:00 2001
From: Andreas Krug <153394595+Andreas-Krug@users.noreply.github.com>
Date: Mon, 13 Jul 2026 18:11:15 +0200
Subject: [PATCH] [dcl.contract.func] Adjust linebreak in example

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

diff --git a/source/declarations.tex b/source/declarations.tex
index dfeabc6c95..4a0164f462 100644
--- a/source/declarations.tex
+++ b/source/declarations.tex
@@ -4788,7 +4788,8 @@
 
 void f() pre (b1) pre ([]{ return b2; }());
 void f();                       // OK, \grammarterm{function-contract-specifier}s omitted
-void f() pre (b1) pre ([]{ return b2; }()); // ill-formed, no diagnostic required: closures have different types
+void f() pre (b1) pre ([]{ return b2; }()); // ill-formed, no diagnostic required: closures have
+                                            // different types
 void f() pre (b1);              // error: \grammarterm{function-contract-specifier}s only partially repeated
 
 int g() post(r : b1);