From b9ee5956f9d3cc54769352e54e4e43ddf6c4e25c Mon Sep 17 00:00:00 2001
From: Michael Dyck <jmdyck@ibiblio.org>
Date: Sat, 5 Oct 2019 11:38:54 -0400
Subject: [PATCH] Editorial: Reinstate 'sec-synchronizeeventset'

PR #1692 removed the element-id 'sec-synchronizeeventset'.
Reinstate it as an 'oldid'.
---
 spec.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spec.html b/spec.html
index f0d5a9c7676..e6e51b18f94 100644
--- a/spec.html
+++ b/spec.html
@@ -40724,7 +40724,7 @@ <h1>Candidate Executions</h1>
     <p>An <dfn>empty candidate execution</dfn> is a candidate execution Record whose fields are empty Lists and Relations.</p>
   </emu-clause>
 
-  <emu-clause id="sec-abstract-operations-for-the-memory-model">
+  <emu-clause id="sec-abstract-operations-for-the-memory-model" oldids="sec-synchronizeeventset">
     <h1>Abstract Operations for the Memory Model</h1>
     <emu-clause id="sec-event-set" aoid="EventSet">
       <h1>EventSet ( _execution_ )</h1>