From Jason Turner

[re.badexp]

Diff to HTML by rtfpessoa

tmp/tmphkp5puc0/{from.md → to.md} RENAMED
@@ -13,13 +13,11 @@ to report errors from the regular expression library.
13
 
14
  ``` cpp
15
  regex_error(regex_constants::error_type ecode);
16
  ```
17
 
18
- *Effects:* Constructs an object of class `regex_error`.
19
-
20
- *Postconditions:* `ecode == code()`.
21
 
22
  ``` cpp
23
  regex_constants::error_type code() const;
24
  ```
25
 
 
13
 
14
  ``` cpp
15
  regex_error(regex_constants::error_type ecode);
16
  ```
17
 
18
+ *Ensures:* `ecode == code()`.
 
 
19
 
20
  ``` cpp
21
  regex_constants::error_type code() const;
22
  ```
23