From acf4edfcadab824aa7647a73d96413558d6a1774 Mon Sep 17 00:00:00 2001
From: Eelis van der Weegen <eelis@eelis.net>
Date: Sat, 27 Jul 2024 20:51:18 +0200
Subject: [PATCH] [exec.async.ops] Fix bad use of \defnadj

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

diff --git a/source/exec.tex b/source/exec.tex
index 1bd683d8fe..c954f1c1c3 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -196,7 +196,7 @@
 A failure completion, also known as an \defnadj{error}{completion},
 has a single result datum.
 \item
-A cancellation completion, also known as a \defnadj{stopped completion},
+A cancellation completion, also known as a \defnadj{stopped}{completion},
 has no result datum.
 \end{itemize}
 An asynchronous operation's \defnadj{async}{result}