From 9a757821f26f66cf90cfb70a7dd3b285341d2682 Mon Sep 17 00:00:00 2001
From: Michael Dyck <jmdyck@ibiblio.org>
Date: Wed, 16 Aug 2023 15:35:40 -0700
Subject: [PATCH] Editorial: Reinstate 5 ids (#3143)

... that I inadvertently un-defined in PR #3063.
---
 spec.html | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/spec.html b/spec.html
index 9baaefadcf..93f456acc1 100644
--- a/spec.html
+++ b/spec.html
@@ -30349,7 +30349,7 @@ <h1>Boolean.prototype.valueOf ( )</h1>
           1. Return ? ThisBooleanValue(*this* value).
         </emu-alg>
 
-        <emu-clause id="sec-thisbooleanvalue" type="abstract operation">
+        <emu-clause id="sec-thisbooleanvalue" type="abstract operation" oldids="thisbooleanvalue">
           <h1>
             ThisBooleanValue (
               _value_: an ECMAScript language value,
@@ -30613,7 +30613,7 @@ <h1>Symbol.prototype.valueOf ( )</h1>
           1. Return ? ThisSymbolValue(*this* value).
         </emu-alg>
 
-        <emu-clause id="sec-thissymbolvalue" type="abstract operation">
+        <emu-clause id="sec-thissymbolvalue" type="abstract operation" oldids="thissymbolvalue">
           <h1>
             ThisSymbolValue (
               _value_: an ECMAScript language value,
@@ -31335,7 +31335,7 @@ <h1>Number.prototype.valueOf ( )</h1>
           1. Return ? ThisNumberValue(*this* value).
         </emu-alg>
 
-        <emu-clause id="sec-thisnumbervalue" type="abstract operation">
+        <emu-clause id="sec-thisnumbervalue" type="abstract operation" oldids="thisnumbervalue">
           <h1>
             ThisNumberValue (
               _value_: an ECMAScript language value,
@@ -31481,7 +31481,7 @@ <h1>BigInt.prototype.valueOf ( )</h1>
           1. Return ? ThisBigIntValue(*this* value).
         </emu-alg>
 
-        <emu-clause id="sec-thisbigintvalue" type="abstract operation">
+        <emu-clause id="sec-thisbigintvalue" type="abstract operation" oldids="thisbigintvalue">
           <h1>
             ThisBigIntValue (
               _value_: an ECMAScript language value,
@@ -35165,7 +35165,7 @@ <h1>String.prototype.valueOf ( )</h1>
           1. Return ? ThisStringValue(*this* value).
         </emu-alg>
 
-        <emu-clause id="sec-thisstringvalue" type="abstract operation">
+        <emu-clause id="sec-thisstringvalue" type="abstract operation" oldids="thisstringvalue">
           <h1>
             ThisStringValue (
               _value_: an ECMAScript language value,