aboutsummaryrefslogtreecommitdiff
path: root/manual/manual.of
diff options
context:
space:
mode:
Diffstat (limited to 'manual/manual.of')
-rw-r--r--manual/manual.of4
1 files changed, 2 insertions, 2 deletions
diff --git a/manual/manual.of b/manual/manual.of
index 7c504d97..baa33d88 100644
--- a/manual/manual.of
+++ b/manual/manual.of
@@ -3284,8 +3284,8 @@ If @id{L} is equal to @id{from},
3284it corresponds to a thread closing itself. 3284it corresponds to a thread closing itself.
3285In that case, 3285In that case,
3286the call does not return; 3286the call does not return;
3287instead, the resume or the protected call 3287instead, the resume that (re)started the thread returns.
3288that (re)started the thread returns. 3288The thread must be running inside a resume.
3289 3289
3290} 3290}
3291 3291