From Jason Turner

[stopsource.cons]

Diff to HTML by rtfpessoa

tmp/tmpl8c39wmn/{from.md → to.md} RENAMED
@@ -7,12 +7,11 @@ stop_source();
7
  *Effects:* Initialises `*this` to have ownership of a new stop state.
8
 
9
  *Ensures:* `stop_possible()` is `true` and `stop_requested()` is
10
  `false`.
11
 
12
- *Throws:* `bad_alloc` if memory could not be allocated for the stop
13
- state.
14
 
15
  ``` cpp
16
  explicit stop_source(nostopstate_t) noexcept;
17
  ```
18
 
 
7
  *Effects:* Initialises `*this` to have ownership of a new stop state.
8
 
9
  *Ensures:* `stop_possible()` is `true` and `stop_requested()` is
10
  `false`.
11
 
12
+ *Throws:* `bad_alloc` if memory cannot be allocated for the stop state.
 
13
 
14
  ``` cpp
15
  explicit stop_source(nostopstate_t) noexcept;
16
  ```
17