Fix typo.

This commit is contained in:
Brian Schott 2018-06-20 21:30:59 -07:00 committed by GitHub
parent da9b10f859
commit 1bb5636617
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -583,7 +583,7 @@ $(LI All elements `e` in subrange `r[0 .. k]` satisfy `!less(r[k], e)`
(i.e. `r[k]` is greater than or equal to each element to its left according to
predicate `less`))
$(LI All elements `e` in subrange `r[k .. $]` satisfy `!less(e, r[k]))`
$(LI All elements `e` in subrange `r[k .. $]` satisfy `!less(e, r[k])`
(i.e. `r[k]` is less than or equal to each element to its right
according to predicate `less`)))