From 6b9cbf16864d6302b55be870dea46125b4a4382c Mon Sep 17 00:00:00 2001 From: Eric Niebler Date: Fri, 3 Jan 2025 12:25:58 -0800 Subject: [PATCH] in [exec.snd.transform] put exposition-only `transformed-sndr` in italics --- source/exec.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/exec.tex b/source/exec.tex index bb528b0565..e8aa45b418 100644 --- a/source/exec.tex +++ b/source/exec.tex @@ -2287,7 +2287,7 @@ if \exposid{transformed-sndr} and \exposid{sndr} have the same type ignoring cv-qualifiers; otherwise, it is -the expression \tcode{transform_sender(dom, transformed-sndr, env...)}. +the expression \tcode{transform_sender(dom, \exposid{transformed-sndr}, env...)}. \pnum \returns