tmp/tmpmlcctq2_/{from.md → to.md}
RENAMED
|
@@ -39,10 +39,10 @@ ownership for a `recursive_mutex` object, additional calls to
|
|
| 39 |
of type `system_error`. A thread shall call `unlock()` once for each
|
| 40 |
level of ownership acquired by calls to `lock()` and `try_lock()`. Only
|
| 41 |
when all levels of ownership have been released may ownership be
|
| 42 |
acquired by another thread.
|
| 43 |
|
| 44 |
-
The behavior of a program is undefined if
|
| 45 |
|
| 46 |
- it destroys a `recursive_mutex` object owned by any thread or
|
| 47 |
- a thread terminates while owning a `recursive_mutex` object.
|
| 48 |
|
|
|
|
| 39 |
of type `system_error`. A thread shall call `unlock()` once for each
|
| 40 |
level of ownership acquired by calls to `lock()` and `try_lock()`. Only
|
| 41 |
when all levels of ownership have been released may ownership be
|
| 42 |
acquired by another thread.
|
| 43 |
|
| 44 |
+
The behavior of a program is undefined if
|
| 45 |
|
| 46 |
- it destroys a `recursive_mutex` object owned by any thread or
|
| 47 |
- a thread terminates while owning a `recursive_mutex` object.
|
| 48 |
|