From d44b89b212a0c68dc1b356a270a2d45db3d5c2bc Mon Sep 17 00:00:00 2001
From: Michael Dyck <jmdyck@ibiblio.org>
Date: Sun, 29 Nov 2020 21:17:53 -0500
Subject: [PATCH] Editorial: Tweak two SV rules

Where the SV of a production only depends on
the MV of the production's LHS,
change it to use the 'parent' production,
so that SV doesn't reach deeper than it needs to.

(This commit would have been more at home in PR #2018.)
---
 spec.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/spec.html b/spec.html
index 4575ac8e96c..1e9c83dc1d7 100644
--- a/spec.html
+++ b/spec.html
@@ -11625,10 +11625,10 @@ <h1>Static Semantics: SV</h1>
             The SV of <emu-grammar>NonOctalDecimalEscapeSequence :: `9`</emu-grammar> is the String value consisting of the code unit 0x0039 (DIGIT NINE).
           </li>
           <li>
-            The SV of <emu-grammar>HexEscapeSequence :: `x` HexDigit HexDigit</emu-grammar> is the String value consisting of the code unit whose value is the MV of |HexEscapeSequence|.
+            The SV of <emu-grammar>EscapeSequence :: HexEscapeSequence</emu-grammar> is the String value consisting of the code unit whose value is the MV of |HexEscapeSequence|.
           </li>
           <li>
-            The SV of <emu-grammar>Hex4Digits :: HexDigit HexDigit HexDigit HexDigit</emu-grammar> is the String value consisting of the code unit whose value is the MV of |Hex4Digits|.
+            The SV of <emu-grammar>UnicodeEscapeSequence :: `u` Hex4Digits</emu-grammar> is the String value consisting of the code unit whose value is the MV of |Hex4Digits|.
           </li>
           <li>
             The SV of <emu-grammar>UnicodeEscapeSequence :: `u{` CodePoint `}`</emu-grammar> is the result of performing UTF16EncodeCodePoint on the MV of |CodePoint|.