From c8fea62ebf15381db8a45b804b5f9f06e6f35813 Mon Sep 17 00:00:00 2001
From: Abhinav Agarwal <abhinavagarwal1996@gmail.com>
Date: Sun, 21 Jun 2026 15:43:24 -0700
Subject: [PATCH] [exec.stopped.opt] Add transform_sender tag

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

diff --git a/source/exec.tex b/source/exec.tex
index 8fdd3c4956..0226d51d10 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -5117,7 +5117,7 @@
 otherwise,
 if \tcode{\libconcept{sender_in}<\exposid{child-type}<Sndr>, \exposid{FWD-\brk{}ENV-\brk{}T}(Env)>}
 is \tcode{false},
-the expression \tcode{stopped_as_optional.transform_sender(sndr, env)}
+the expression \tcode{stopped_as_optional.transform_sender(set_value, sndr, env)}
 is equivalent to \tcode{\exposid{not-a-sen\-der}()};
 otherwise, it is equivalent to:
 \begin{codeblock}