From 435ae46ca772853121b415d0c04b8937d46a799d Mon Sep 17 00:00:00 2001
From: Michael Dyck <jmdyck@ibiblio.org>
Date: Thu, 20 Feb 2020 15:08:33 -0500
Subject: [PATCH] Editorial: supply args to IteratorBindingInitialization
 (#1877)

Fixes a bug in PR #1301
---
 spec.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spec.html b/spec.html
index a19874603b..c99a4e746f 100644
--- a/spec.html
+++ b/spec.html
@@ -20202,7 +20202,7 @@ <h1>Runtime Semantics: IteratorBindingInitialization</h1>
       <emu-grammar>ArrowParameters : CoverParenthesizedExpressionAndArrowParameterList</emu-grammar>
       <emu-alg>
         1. Let _formals_ be CoveredFormalsList of |CoverParenthesizedExpressionAndArrowParameterList|.
-        1. Return IteratorBindingInitialization of _formals_.
+        1. Return IteratorBindingInitialization of _formals_ with arguments _iteratorRecord_ and _environment_.
       </emu-alg>
     </emu-clause>