diff options
| author | bors <bors@rust-lang.org> | 2015-09-30 22:27:53 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2015-09-30 22:27:53 +0000 |
| commit | d14dba12279e3e203eeaaeb575149064358cc36f (patch) | |
| tree | ac53e7c507aa20a1675b7499f6ea64cedb7e9247 /src/libcore | |
| parent | 1c788d0a9a623221da12437b01a35ea899a03d9b (diff) | |
| parent | f8c8c8c07d9d8d0626faae2231ac09aeacb435f5 (diff) | |
| download | rust-d14dba12279e3e203eeaaeb575149064358cc36f.tar.gz rust-d14dba12279e3e203eeaaeb575149064358cc36f.zip | |
Auto merge of #28782 - steveklabnik:rollup, r=steveklabnik
- Successful merges: #28753, #28760, #28764, #28770, #28771, #28772 - Failed merges:
Diffstat (limited to 'src/libcore')
| -rw-r--r-- | src/libcore/cmp.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libcore/cmp.rs b/src/libcore/cmp.rs index 3344d7ea5d7..fa1f4727bc0 100644 --- a/src/libcore/cmp.rs +++ b/src/libcore/cmp.rs @@ -218,7 +218,7 @@ impl PartialOrd for Ordering { /// /// The comparison must satisfy, for all `a`, `b` and `c`: /// -/// - antisymmetry: if `a < b` then `!(a > b)` and vice versa; and +/// - antisymmetry: if `a < b` then `!(a > b)`, as well as `a > b` implying `!(a < b)`; and /// - transitivity: `a < b` and `b < c` implies `a < c`. The same must hold for both `==` and `>`. /// /// Note that these requirements mean that the trait itself must be implemented symmetrically and |