From Jason Turner

[re.results.swap]

Diff to HTML by rtfpessoa

tmp/tmpb2rwcxn0/{from.md → to.md} RENAMED
@@ -1,16 +1,16 @@
1
- ### `match_results` swap <a id="re.results.swap">[[re.results.swap]]</a>
2
 
3
  ``` cpp
4
  void swap(match_results& that);
5
  ```
6
 
7
  *Effects:* Swaps the contents of the two sequences.
8
 
9
- *Postconditions:* `*this` contains the sequence of matched
10
- sub-expressions that were in `that`, `that` contains the sequence of
11
- matched sub-expressions that were in `*this`.
12
 
13
  *Complexity:* Constant time.
14
 
15
  ``` cpp
16
  template<class BidirectionalIterator, class Allocator>
 
1
+ ### Swap <a id="re.results.swap">[[re.results.swap]]</a>
2
 
3
  ``` cpp
4
  void swap(match_results& that);
5
  ```
6
 
7
  *Effects:* Swaps the contents of the two sequences.
8
 
9
+ *Ensures:* `*this` contains the sequence of matched sub-expressions that
10
+ were in `that`, `that` contains the sequence of matched sub-expressions
11
+ that were in `*this`.
12
 
13
  *Complexity:* Constant time.
14
 
15
  ``` cpp
16
  template<class BidirectionalIterator, class Allocator>