Skip to content

Commit 9401d5f

Browse files
authored
[exec.let] Mark SCHED-ENV with \exposid (#7560)
1 parent b801b54 commit 9401d5f

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Diff for: source/exec.tex

+1-1
Original file line numberDiff line numberDiff line change
@@ -3404,7 +3404,7 @@
34043404
the first well-formed expression below:
34053405
\begin{itemize}
34063406
\item
3407-
\tcode{SCHED-ENV(get_completion_scheduler<\exposid{decayed-typeof}<\exposid{set-cpo}>>(get_env(sndr)))}
3407+
\tcode{\exposid{SCHED-ENV}(get_completion_scheduler<\exposid{decayed-typeof}<\exposid{set-cpo}>>(get_env(sndr)))}
34083408
\item
34093409
\tcode{\exposid{MAKE-ENV}(get_domain, get_domain(get_env(sndr)))}
34103410
\item

0 commit comments

Comments
 (0)