Skip to content
This repository has been archived by the owner on Aug 29, 2021. It is now read-only.

Commit

Permalink
fixup naming issue
Browse files Browse the repository at this point in the history
  • Loading branch information
@guybedford
guybedford committed Feb 3, 2021
1 parent a966577 commit efbbe70
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions spec.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -652,8 +652,8 @@ <h1><ins>ExecuteAsyncModule ( _module_ )</ins></h1>
</emu-alg>
</emu-clause>

<emu-clause id="sec-cyclicmoduleexecutionfulfilled" aoid="CyclicModuleExecutionFulfilled">
<h1><ins>CyclicModuleExecutionFulfilled ( _module_ )</ins></h1>
<emu-clause id="sec-async-module-execution-fulfilled" aoid="AsyncModuleExecutionFulfilled">
<h1><ins>AsyncModuleExecutionFulfilled ( _module_ )</ins></h1>
<emu-alg>
1. Assert: _module_.[[Status]] is ~evaluated~.
1. If _module_.[[AsyncEvaluating]] is *false*,
Expand Down Expand Up @@ -681,7 +681,7 @@ <h1><ins>CyclicModuleExecutionFulfilled ( _module_ )</ins></h1>
</emu-alg>
</emu-clause>

<emu-clause id="sec-AsyncModuleExecutionRejected" aoid="AsyncModuleExecutionRejected">
<emu-clause id="sec-async-module-execution-rejected" aoid="AsyncModuleExecutionRejected">
<h1><ins>AsyncModuleExecutionRejected ( _module_, _error_ )</ins></h1>
<emu-alg>
1. Assert: _module_.[[Status]] is ~evaluated~.
Expand Down

0 comments on commit efbbe70

Please sign in to comment.