From Jason Turner

[syserr.syserr]

Diff to HTML by rtfpessoa

tmp/tmpnd5hkjd8/{from.md → to.md} RENAMED
@@ -37,11 +37,11 @@ system_error(error_code ec, const string& what_arg);
37
 
38
  *Effects:* Constructs an object of class `system_error`.
39
 
40
  *Postconditions:* `code() == ec`.
41
 
42
- string(what()).find(what_arg) != string::npos.
43
 
44
  ``` cpp
45
  system_error(error_code ec, const char* what_arg);
46
  ```
47
 
@@ -77,11 +77,11 @@ system_error(int ev, const error_category& ecat,
77
 
78
  *Effects:* Constructs an object of class `system_error`.
79
 
80
  *Postconditions:* `code() == error_code(ev, ecat)`.
81
 
82
- string(what()).find(what_arg) != string::npos.
83
 
84
  ``` cpp
85
  system_error(int ev, const error_category& ecat);
86
  ```
87
 
 
37
 
38
  *Effects:* Constructs an object of class `system_error`.
39
 
40
  *Postconditions:* `code() == ec`.
41
 
42
+ `string(what()).find(what_arg) != string::npos`.
43
 
44
  ``` cpp
45
  system_error(error_code ec, const char* what_arg);
46
  ```
47
 
 
77
 
78
  *Effects:* Constructs an object of class `system_error`.
79
 
80
  *Postconditions:* `code() == error_code(ev, ecat)`.
81
 
82
+ `string(what()).find(what_arg) != string::npos`.
83
 
84
  ``` cpp
85
  system_error(int ev, const error_category& ecat);
86
  ```
87