diff --git a/spec.html b/spec.html index aec2753d6a..acdd9d74e0 100644 --- a/spec.html +++ b/spec.html @@ -52152,7 +52152,7 @@

Races

1. If _eventA_ and _eventB_ are not the same Shared Data Block event, then 1. If it is not the case that both _eventA_ happens-before _eventB_ in _execution_ and _eventB_ happens-before _eventA_ in _execution_, then - 1. If _eventA_ and _eventB_ are both WriteSharedMemory or ReadModifyWriteSharedMemory events and _eventA_ and _eventB_ do not have disjoint memory ranges, then + 1. If _eventA_ is either a WriteSharedMemory or ReadModifyWriteSharedMemory event, _eventB_ is either a WriteSharedMemory or ReadModifyWriteSharedMemory event, and _eventA_ and _eventB_ do not have disjoint memory ranges, then 1. Return *true*. 1. If _eventA_ reads-from _eventB_ in _execution_ or _eventB_ reads-from _eventA_ in _execution_, then 1. Return *true*.