diff --git a/source/exec.tex b/source/exec.tex index 53572e2f1a..6dab8886fa 100644 --- a/source/exec.tex +++ b/source/exec.tex @@ -5046,7 +5046,7 @@ \pnum Let \exposid{sndr} be an expression of type \exposid{run-loop-sender}, let \exposid{rcvr} be an expression -such that \tcode{receiver_of} is \tcode{true} +such that \tcode{\libconcept{receiver_of}} is \tcode{true} where \tcode{CS} is the \tcode{completion_signatures} specialization above. Let \tcode{C} be either \tcode{set_value_t} or \tcode{set_stopped_t}. Then: