From f09e16fc9942f307f75a97c7a0a0675a529a12e6 Mon Sep 17 00:00:00 2001 From: Eric Niebler Date: Fri, 3 Jan 2025 11:22:52 -0800 Subject: [PATCH] [exec.sync.wait] Add \tcode for `apply_sender` (#7538) --- source/exec.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/exec.tex b/source/exec.tex index 203e308ebc..bb528b0565 100644 --- a/source/exec.tex +++ b/source/exec.tex @@ -4564,7 +4564,7 @@ The type \tcode{\exposid{sync-wait-result-type}} is well-formed. \item \tcode{\libconcept{same_as}>} -is \tcode{true}, where $e$ is the apply_sender expression above. +is \tcode{true}, where $e$ is the \tcode{apply_sender} expression above. \end{itemize} \pnum