From Jason Turner

[re.regex.swap]

Diff to HTML by rtfpessoa

tmp/tmplfs5ec29/{from.md → to.md} RENAMED
@@ -1,13 +1,13 @@
1
- ### `basic_regex` swap <a id="re.regex.swap">[[re.regex.swap]]</a>
2
 
3
  ``` cpp
4
  void swap(basic_regex& e);
5
  ```
6
 
7
  *Effects:* Swaps the contents of the two regular expressions.
8
 
9
- *Postconditions:* `*this` contains the regular expression that was in
10
- `e`, `e` contains the regular expression that was in `*this`.
11
 
12
  *Complexity:* Constant time.
13
 
 
1
+ ### Swap <a id="re.regex.swap">[[re.regex.swap]]</a>
2
 
3
  ``` cpp
4
  void swap(basic_regex& e);
5
  ```
6
 
7
  *Effects:* Swaps the contents of the two regular expressions.
8
 
9
+ *Ensures:* `*this` contains the regular expression that was in `e`, `e`
10
+ contains the regular expression that was in `*this`.
11
 
12
  *Complexity:* Constant time.
13