Skip to content

Commit

Permalink
Typo2
Browse files Browse the repository at this point in the history
  • Loading branch information
syg committed May 23, 2024
1 parent 9c65243 commit 458855f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion spec.html
Original file line number Diff line number Diff line change
Expand Up @@ -49013,7 +49013,7 @@ <h1>happens-before</h1>
<p>For events _E_ and _D_, _E_ happens-before _D_ in _execution_ if any of the following conditions are true.</p>
<ul>
<li>_E_ is-agent-order-before _D_ in _execution_.</li>
<li>_E_ synchronizes-with _D_ in _execution_.</li>c
<li>_E_ synchronizes-with _D_ in _execution_.</li>
<li>SharedDataBlockEventSet(_execution_) contains both _E_ and _D_, _E_.[[Order]] is ~init~, and _E_ and _D_ have overlapping ranges.</li>
<li>There is an event _F_ such that _E_ happens-before _F_ and _F_ happens-before _D_ in _execution_.</li>
</ul>
Expand Down

0 comments on commit 458855f

Please sign in to comment.