diff --git a/spec.html b/spec.html index f89247f455..b1b6c36c7b 100644 --- a/spec.html +++ b/spec.html @@ -49686,7 +49686,7 @@

Sequentially Consistent Atomics

  • For each WriteSharedMemory or ReadModifyWriteSharedMemory event _W_ in SharedDataBlockEventSet(_execution_), if _W_.[[Order]] is ~seq-cst~, then it is not the case that there is an infinite number of ReadSharedMemory or ReadModifyWriteSharedMemory events in SharedDataBlockEventSet(_execution_) with equal memory range that is memory-order before _W_.

    -

    This clause together with the forward progress guarantee on agents ensure the liveness condition that ~seq-cst~ write events become visible to ~seq-cst~ read events with equal memory range in finite time.

    +

    This clause together with the forward progress guarantee on agents ensure the liveness condition that ~seq-cst~ writes become visible to ~seq-cst~ reads with equal memory range in finite time.