about summary refs log tree commit diff
path: root/src/libcore
diff options
context:
space:
mode:
authorSteve Klabnik <steve@steveklabnik.com>2015-09-30 18:20:03 -0400
committerSteve Klabnik <steve@steveklabnik.com>2015-09-30 18:20:03 -0400
commit8382bc915c34bea953266cfb4f02771d98dacd99 (patch)
treed15c2793f6a3b320fb12bfc6bdd75f9f81b7dd8c /src/libcore
parentb6449eba518d6714c05a96d2645655303556c737 (diff)
parent3e9b993925477a3c4506b02373c75605fe17c2f0 (diff)
downloadrust-8382bc915c34bea953266cfb4f02771d98dacd99.tar.gz
rust-8382bc915c34bea953266cfb4f02771d98dacd99.zip
Rollup merge of #28760 - steveklabnik:gh28166, r=alexcrichton
Fixes #28166
Diffstat (limited to 'src/libcore')
-rw-r--r--src/libcore/cmp.rs2
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