From eeb4618d3261a59e0fd162a59539f9e833a67e54 Mon Sep 17 00:00:00 2001
From: Jonathan Wakely <cxx@kayari.org>
Date: Mon, 3 Feb 2025 16:43:23 +0000
Subject: [PATCH] [exec.schedule.from] Add missing \exposid to child-type

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

diff --git a/source/exec.tex b/source/exec.tex
index 77aed67325..af6a5cf55c 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -3017,7 +3017,7 @@
 \pnum
 Let \tcode{Sigs} be
 a pack of the arguments to the \tcode{completion_signatures} specialization
-named by \tcode{completion_signatures_of_t<child-type<Sndr>, env_of_t<Rcvr>>}.
+named by \tcode{completion_signatures_of_t<@\exposid{child-type}<Sndr>, env_of_t<Rcvr>>}.
 Let \exposid{as-tuple} be an alias template
 that transforms a completion signature \tcode{Tag(Args...)} into
 the tuple specialization \tcode{\exposid{decayed-tuple}<Tag, Args...>}.