make the linter happy

tc39 · May 14, 2021 · cc6d21d · cc6d21d
1 parent ee280a8
commit cc6d21d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/spec.html b/spec.html
@@ -23208,7 +23208,7 @@ <h1>AsyncModuleExecutionFulfilled ( _module_ )</h1>
                   1. Perform ! ExecuteAsyncModule(_m_).
                 1. Otherwise:
                   1. Let _result_ be _m_.ExecuteModule().
-                  1. If _result_ is an abrupt completion:
+                  1. If _result_ is an abrupt completion, then:
                     1. Perform ! AsyncModuleExecutionRejected(_m_, _result_.[[Value]]).
                   1. Otherwise:
                     1. Set _m_.[[AsyncEvaluating]] to *false*.
@@ -23223,7 +23223,7 @@ <h1>AsyncModuleExecutionFulfilled ( _module_ )</h1>
             <h1>AsyncModuleExecutionRejected ( _module_, _error_ )</h1>
             <emu-alg>
               1. Assert: _module_.[[Status]] is ~evaluated~.
-              1. If _module_.[[AsyncEvaluating]] is *false*:
+              1. If _module_.[[AsyncEvaluating]] is *false*, then:
                 1. Assert: _module_.[[EvaluationError]] is not ~empty~.
                 1. Return *undefined*.
               1. Assert: _module_.[[EvaluationError]] is ~empty~.