diff --git a/spec.html b/spec.html index 4307338fff..90e3b50ec4 100644 --- a/spec.html +++ b/spec.html @@ -49738,7 +49738,7 @@

Data Races

Data Race Freedom

-

An execution _execution_ is data race free if there are no two Shared Data Block events in SharedDataBlockEventSet(_execution_) that are in a data race.

+

An execution _execution_ is data race free if there are no two events in SharedDataBlockEventSet(_execution_) that are in a data race.

A program is data race free if all its executions are data race free.

The memory model guarantees sequential consistency of all events for data race free programs.