tmp/tmp6ro898f_/{from.md → to.md}
RENAMED
|
@@ -34,11 +34,11 @@ a call to `unlock()` or the call to `try_lock_for()` or
|
|
| 34 |
|
| 35 |
The class `timed_mutex` meets all of the timed mutex requirements
|
| 36 |
[[thread.timedmutex.requirements]]. It is a standard-layout class
|
| 37 |
[[class.prop]].
|
| 38 |
|
| 39 |
-
The behavior of a program is undefined if
|
| 40 |
|
| 41 |
- it destroys a `timed_mutex` object owned by any thread,
|
| 42 |
- a thread that owns a `timed_mutex` object calls `lock()`,
|
| 43 |
`try_lock()`, `try_lock_for()`, or `try_lock_until()` on that object,
|
| 44 |
or
|
|
|
|
| 34 |
|
| 35 |
The class `timed_mutex` meets all of the timed mutex requirements
|
| 36 |
[[thread.timedmutex.requirements]]. It is a standard-layout class
|
| 37 |
[[class.prop]].
|
| 38 |
|
| 39 |
+
The behavior of a program is undefined if
|
| 40 |
|
| 41 |
- it destroys a `timed_mutex` object owned by any thread,
|
| 42 |
- a thread that owns a `timed_mutex` object calls `lock()`,
|
| 43 |
`try_lock()`, `try_lock_for()`, or `try_lock_until()` on that object,
|
| 44 |
or
|