From Jason Turner

[streambuf.get.area]

Diff to HTML by rtfpessoa

tmp/tmpoei9tw98/{from.md → to.md} RENAMED
@@ -26,8 +26,8 @@ void gbump(int n);
26
 
27
  ``` cpp
28
  void setg(char_type* gbeg, char_type* gnext, char_type* gend);
29
  ```
30
 
31
- *Postconditions:* `gbeg == eback()`, `gnext == gptr()`, and
32
- `gend == egptr()`.
33
 
 
26
 
27
  ``` cpp
28
  void setg(char_type* gbeg, char_type* gnext, char_type* gend);
29
  ```
30
 
31
+ *Ensures:* `gbeg == eback()`, `gnext == gptr()`, and `gend == egptr()`
32
+ are all `true`.
33