diff options
Diffstat (limited to '')
| -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 | ||
