Skip to content

Commit

Permalink
misc other fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
jmdyck authored and bakkot committed Feb 9, 2022
1 parent 8b5c25f commit dfe6b88
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions spec.html
Original file line number Diff line number Diff line change
Expand Up @@ -12160,7 +12160,7 @@ <h1>Agents</h1>
</emu-note>

<emu-clause id="sec-agentsignifier" type="abstract operation">
<h1>AgentSignifier ( ): an opaque value used to identify an Agent</h1>
<h1>AgentSignifier ( ): an agent signifier</h1>
<dl class="header">
</dl>
<emu-alg>
Expand Down Expand Up @@ -13526,7 +13526,7 @@ <h1>
_key_: a property key or Private Name,
_closure_: a function object,
_enumerable_: a Boolean,
): a Private Name or ~unused~
): a PrivateElement or ~unused~
</h1>
<dl class="header">
</dl>
Expand Down Expand Up @@ -41526,7 +41526,7 @@ <h1>
RemoveWaiters (
_WL_: a WaiterList,
_c_: a non-negative integer or +&infin;,
): a List of agents
): a List of agent signifiers
</h1>
<dl class="header">
</dl>
Expand Down

0 comments on commit dfe6b88

Please sign in to comment.