Skip to content

Commit

Permalink
Typo
Browse files Browse the repository at this point in the history
  • Loading branch information
syg committed May 23, 2024
1 parent 6fb81f9 commit 9c65243
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 @@ -49012,7 +49012,7 @@ <h1>happens-before</h1>
<li>
<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_.</onli>
<li>_E_ is-agent-order-before _D_ in _execution_.</li>
<li>_E_ synchronizes-with _D_ in _execution_.</li>c
<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>
Expand Down

0 comments on commit 9c65243

Please sign in to comment.