From 5ce641e62aeb80b370537bb1e29e6af232ccf5ec Mon Sep 17 00:00:00 2001
From: Andreas Krug <153394595+Andreas-Krug@users.noreply.github.com>
Date: Wed, 28 May 2025 08:40:37 +0200
Subject: [PATCH] [exec.on] Add \tcode for sch

---
 source/exec.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/source/exec.tex b/source/exec.tex
index a26e23fc4c..5ef86311e1 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -3277,7 +3277,7 @@
 remember the current scheduler, \tcode{get_scheduler(get_env(rcvr))};
 \item
 start \tcode{sndr} on an execution agent belonging to
-sch's associated execution resource;
+\tcode{sch}'s associated execution resource;
 \item
 upon \tcode{sndr}'s completion,
 transfer execution back to the execution resource
@@ -3312,7 +3312,7 @@
 \item
 upon \tcode{sndr}'s completion,
 transfer execution to an agent
-owned by sch's associated execution resource;
+owned by \tcode{sch}'s associated execution resource;
 \item
 forward \tcode{sndr}'s async result as if by
 connecting and starting a sender \tcode{closure(S)},