From 6a6a7d1e9e1c3d58ecb290d34fe58c0d389d8f79 Mon Sep 17 00:00:00 2001
From: Eelis van der Weegen <eelis@eelis.net>
Date: Sat, 27 Jul 2024 20:51:34 +0200
Subject: [PATCH] [stoptoken.inplace.general] Add missing \tcode

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

diff --git a/source/threads.tex b/source/threads.tex
index 82a7e1d860..f69fb3c733 100644
--- a/source/threads.tex
+++ b/source/threads.tex
@@ -1189,7 +1189,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-Exchanges the values of \exposid{stop-source} and rhs.\exposid{stop-source}.
+Exchanges the values of \exposid{stop-source} and \tcode{rhs.\exposid{stop-source}}.
 \end{itemdescr}
 
 \begin{itemdecl}