From Jason Turner

[fs.op.remove]

Diff to HTML by rtfpessoa

tmp/tmpdolaau7l/{from.md → to.md} RENAMED
@@ -9,11 +9,11 @@ bool remove(const path& p, error_code& ec) noexcept;
9
  as if by POSIX `remove()`.
10
 
11
  [*Note 1*: A symbolic link is itself removed, rather than the file it
12
  resolves to. — *end note*]
13
 
14
- *Postconditions:* `!exists(symlink_status(p))`.
15
 
16
  *Returns:* `false` if `p` did not exist, otherwise `true`. The signature
17
  with argument `ec` returns `false` if an error occurs.
18
 
19
  *Throws:* As specified in  [[fs.err.report]].
 
9
  as if by POSIX `remove()`.
10
 
11
  [*Note 1*: A symbolic link is itself removed, rather than the file it
12
  resolves to. — *end note*]
13
 
14
+ *Ensures:* `exists(symlink_status(p))` is `false`.
15
 
16
  *Returns:* `false` if `p` did not exist, otherwise `true`. The signature
17
  with argument `ec` returns `false` if an error occurs.
18
 
19
  *Throws:* As specified in  [[fs.err.report]].