From b6c269095363ce1f10d06455763cccbf64b52902 Mon Sep 17 00:00:00 2001 From: Eric Niebler Date: Tue, 4 Nov 2025 08:35:23 -0800 Subject: [PATCH] [exec.spawn.future] add missing \tcode --- source/exec.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/source/exec.tex b/source/exec.tex index 66837dd454..ed0a8d5c29 100644 --- a/source/exec.tex +++ b/source/exec.tex @@ -5339,9 +5339,9 @@ \end{codeblock} \pnum -Let \placeholder{ssource-t} be an unspecified type +Let \tcode{\placeholder{ssource-t}} be an unspecified type that models \exposconcept{stoppable-source} and -let \tcode{ssource} be an lvalue of type \placeholder{ssource-t}. +let \tcode{ssource} be an lvalue of type \tcode{\placeholder{ssource-t}}. Let \tcode{\placeholder{stoken-t}} be \tcode{decltype(ssource.get_token())}. Let \exposid{future-spawned-sender} be the alias template: