Editorial: Remove unused AO SynchronizeEventSet

tc39 · Oct 2, 2019 · 9d4e9d0 · 9d4e9d0
1 parent 31e4a14
commit 9d4e9d0
Showing 1 changed file with 0 additions and 11 deletions.
diff --git a/spec.html b/spec.html
@@ -40721,17 +40721,6 @@ <h1>SharedDataBlockEventSet ( _execution_ )</h1>
       </emu-alg>
     </emu-clause>
 
-    <emu-clause id="sec-synchronizeeventset" aoid="SynchronizeEventSet">
-      <h1>SynchronizeEventSet ( _execution_ )</h1>
-      <p>The abstract operation SynchronizeEventSet takes one argument, a candidate execution _execution_. It performs the following steps:</p>
-      <emu-alg>
-        1. Let _events_ be an empty Set.
-        1. For each event _E_ in EventSet(_execution_), do
-          1. If _E_ is a Synchronize event, add _E_ to _events_.
-        1. Return _events_.
-      </emu-alg>
-    </emu-clause>
-
     <emu-clause id="sec-hosteventset" aoid="HostEventSet">
       <h1>HostEventSet ( _execution_ )</h1>
       <p>The abstract operation HostEventSet takes one argument, a candidate execution _execution_. It performs the following steps:</p>