From 354ca13d65e9cf6459896120ca1d7363409ce65a Mon Sep 17 00:00:00 2001
From: Jens Maurer <Jens.Maurer@gmx.net>
Date: Sat, 4 Oct 2025 22:29:10 +0200
Subject: [PATCH] [exec.write.env] De-bulletize specification of check-types

Fixes NB US 218-349 (C++26 CD).
---
 source/exec.tex | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/source/exec.tex b/source/exec.tex
index e1870a2de9..ce13824d22 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -3175,6 +3175,8 @@
     static consteval void @\exposid{check-types}@();
 };
 \end{codeblock}
+
+\pnum
 Invocation of
 \tcode{\exposid{impls-for}<\exposid{write-env-t}>::\exposid{join-env}}
 returns an object \tcode{e} such that
@@ -3187,15 +3189,16 @@
 to \tcode{state.query(q)} if that expression is valid,
 otherwise, \tcode{e.query(q)} is expression-equivalent
 to \tcode{env.query(q)}.
-\item
+\end{itemize}
+
+\pnum
 For a type \tcode{Sndr} and a pack of types \tcode{Env},
 let \tcode{State} be \tcode{\exposid{data-type}<Sndr>} and
 let \tcode{JoinEnv} be the pack
 \tcode{decltype(\exposid{join-env}(declval<State>(), \exposid{FWD-ENV}(declval<Env>())))}.
-Then \tcode{\exposid{impls-for}<\exposid{write-\linebreak{}env-t}>::\exposid{check-types}<Sndr, Env...>()}
+Then \tcode{\exposid{impls-for}<\exposid{write-env-\brk{}t}>::\exposid{check-types}<Sndr, Env...>()}
 is expression-equivalent to
-\tcode{get_completion_signatures<\linebreak{}\exposid{child-type}<Sndr>, JoinEnv...>()}.
-\end{itemize}
+\tcode{get_completion_signatures<\exposid{child-\linebreak{}type}<Sndr>, JoinEnv...>()}.
 
 \rSec3[exec.unstoppable]{\tcode{execution::unstoppable}}