Fix doc comment for pivotPartition

Looks like a search-and-replace messed up the code markup. Also, it seems like the range specified in the second list item was not consistent with its explanation.
This commit is contained in:
Brian Schott 2018-06-20 21:27:45 -07:00 committed by GitHub
parent 5814a924e0
commit da9b10f859
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -583,8 +583,8 @@ $(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[0 .. k]` satisfy `!less(e$D(
r[k])) (i.e. `r[k]` is less than or equal to each element to its right
$(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`)))
If `r` contains equivalent elements, multiple permutations of `r` satisfy these