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}, \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}