diff --git a/appendices/memorymodel.adoc b/appendices/memorymodel.adoc index c26cd4021b..1a3584b407 100644 --- a/appendices/memorymodel.adoc +++ b/appendices/memorymodel.adoc @@ -1016,8 +1016,8 @@ value written by the first operation. _From-reads_ is a relation between operations, where the first operation is a read, the second operation is a write, and the first operation reads a value written earlier than the second operation in the second operation's -scoped modification order (or the first operation reads from the initial -value, and the second operation is any write to the same locations). +scoped modification order or location order (or the first operation reads from +the initial value, and the second operation is any write to the same locations). Then the implementation must: guarantee that no cycles exist in the union of the following relations: