tmp/tmp18nyn9sj/{from.md → to.md}
RENAMED
|
@@ -2,11 +2,11 @@
|
|
| 2 |
|
| 3 |
``` cpp
|
| 4 |
using terminate_handler = void (*)();
|
| 5 |
```
|
| 6 |
|
| 7 |
-
The type of a *handler function* to be
|
| 8 |
terminating exception processing.
|
| 9 |
|
| 10 |
*Required behavior:* A `terminate_handler` shall terminate execution of
|
| 11 |
the program without returning to the caller.
|
| 12 |
|
|
|
|
| 2 |
|
| 3 |
``` cpp
|
| 4 |
using terminate_handler = void (*)();
|
| 5 |
```
|
| 6 |
|
| 7 |
+
The type of a *handler function* to be invoked by `terminate` when
|
| 8 |
terminating exception processing.
|
| 9 |
|
| 10 |
*Required behavior:* A `terminate_handler` shall terminate execution of
|
| 11 |
the program without returning to the caller.
|
| 12 |
|