From Jason Turner

[terminate.handler]

Diff to HTML by rtfpessoa

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 called by `std::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
 
 
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