diff options
Diffstat (limited to 'manual/manual.of')
-rw-r--r-- | manual/manual.of | 4 |
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}, | |||
3284 | it corresponds to a thread closing itself. | 3284 | it corresponds to a thread closing itself. |
3285 | In that case, | 3285 | In that case, |
3286 | the call does not return; | 3286 | the call does not return; |
3287 | instead, the resume or the protected call | 3287 | instead, the resume that (re)started the thread returns. |
3288 | that (re)started the thread returns. | 3288 | The thread must be running inside a resume. |
3289 | 3289 | ||
3290 | } | 3290 | } |
3291 | 3291 | ||