From 6709495c2d9921fbc91fefec92599932334bff57 Mon Sep 17 00:00:00 2001
From: Andreas Krug <153394595+Andreas-Krug@users.noreply.github.com>
Date: Sat, 21 Dec 2024 20:44:51 +0100
Subject: [PATCH] [exec.then] Insert whitespace between words

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

diff --git a/source/exec.tex b/source/exec.tex
index e4bb77d9db..0403d80807 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -3373,7 +3373,7 @@
 
 \pnum
 The expression \tcode{\exposid{then-cpo}(sndr, f)} has undefined behavior
-unless it returns a sender\tcode{out_sndr} that
+unless it returns a sender \tcode{out_sndr} that
 \begin{itemize}
 \item
 invokes \tcode{f} or a copy of such