From Jason Turner

[exception.terminate]

Diff to HTML by rtfpessoa

tmp/tmpgu7f6g22/{from.md → to.md} RENAMED
@@ -44,12 +44,12 @@ terminate_handler get_terminate() noexcept;
44
  ``` cpp
45
  [[noreturn]] void terminate() noexcept;
46
  ```
47
 
48
  *Remarks:* Called by the implementation when exception handling must be
49
- abandoned for any of several reasons ([[except.terminate]]). May also
50
- be called directly by the program.
51
 
52
  *Effects:* Calls a `terminate_handler` function. It is unspecified which
53
  `terminate_handler` function will be called if an exception is active
54
  during a call to `set_terminate`. Otherwise calls the current
55
  `terminate_handler` function.
 
44
  ``` cpp
45
  [[noreturn]] void terminate() noexcept;
46
  ```
47
 
48
  *Remarks:* Called by the implementation when exception handling must be
49
+ abandoned for any of several reasons [[except.terminate]]. May also be
50
+ called directly by the program.
51
 
52
  *Effects:* Calls a `terminate_handler` function. It is unspecified which
53
  `terminate_handler` function will be called if an exception is active
54
  during a call to `set_terminate`. Otherwise calls the current
55
  `terminate_handler` function.