From 21b0f23dbe284ff7711597ff7485b1f4880de5ee Mon Sep 17 00:00:00 2001 From: Eric Niebler Date: Sun, 12 Jan 2025 12:04:15 -0800 Subject: [PATCH] Make SCHED-ENV an exposid in [exec.let] SCHED-ENV is an exposition-only pseudo-macro --- source/exec.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/exec.tex b/source/exec.tex index 4f5f491425..8101b88b0a 100644 --- a/source/exec.tex +++ b/source/exec.tex @@ -3404,7 +3404,7 @@ the first well-formed expression below: \begin{itemize} \item -\tcode{SCHED-ENV(get_completion_scheduler<\exposid{decayed-typeof}<\exposid{set-cpo}>>(get_env(sndr)))} +\tcode{\exposid{SCHED-ENV}(get_completion_scheduler<\exposid{decayed-typeof}<\exposid{set-cpo}>>(get_env(sndr)))} \item \tcode{\exposid{MAKE-ENV}(get_domain, get_domain(get_env(sndr)))} \item