Explicitly say that we want mainline positions from P

Co-authored-by: Richard van der Hoff <1389908+richvdh@users.noreply.github.com>
This commit is contained in:
David Robertson 2022-06-14 18:38:35 +01:00 committed by GitHub
parent 9231ca623c
commit e2f389584b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -109,7 +109,7 @@ Now compare these two lists as follows.
than any integer. than any integer.
* In both cases, the *mainline position* of *e* is *i*. * In both cases, the *mainline position* of *e* is *i*.
The *mainline ordering based on* *P* of a set of events is the ordering, Given mainline positions calculated from *P*, the *mainline ordering based on* *P* of a set of events is the ordering,
from smallest to largest, using the following comparison relation on from smallest to largest, using the following comparison relation on
events: for events *x* and *y*, *x*&lt;*y* if events: for events *x* and *y*, *x*&lt;*y* if