From d973771768e62775e1a56939d3bb59dce33fd523 Mon Sep 17 00:00:00 2001
From: Andreas Krug <153394595+Andreas-Krug@users.noreply.github.com>
Date: Wed, 20 Aug 2025 15:52:21 +0200
Subject: [PATCH] [exec.sysctxrepl.psb] Add \tcode for execute

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

diff --git a/source/exec.tex b/source/exec.tex
index 7aabc16c95..ba09f087a7 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -8676,7 +8676,7 @@
 then for each $i$ in \range{0}{n},
 there is exactly one call to \tcode{r.execute($i$, $i$ + 1)}.
 \item
-All calls to execute on \tcode{r} happen before
+All calls to \tcode{execute} on \tcode{r} happen before
 the call to either \tcode{set_value}, \tcode{set_error}, or \tcode{set_stopped}
 on \tcode{r}.
 \item