From f9fbd5c90450f3e79c7b278781fc3b2a614f022e Mon Sep 17 00:00:00 2001
From: Kevin Gibbons <bakkot@gmail.com>
Date: Thu, 2 Nov 2023 14:27:16 -0700
Subject: [PATCH] add whitespace to IdentityEscape

---
 spec.emu | 1 +
 1 file changed, 1 insertion(+)

diff --git a/spec.emu b/spec.emu
index 1543f40..8ef5139 100644
--- a/spec.emu
+++ b/spec.emu
@@ -27,6 +27,7 @@ contributors: Jordan Harband
         IdentityEscape[UnicodeMode] ::
           [+UnicodeMode] SyntaxCharacter
           [+UnicodeMode] `/` <ins>`,` `-` `=` `<` `>` `/` `#` `&` `!` `%` `:` `;` `@` `~` `'` `"`</ins>
+          <ins>[+UnicodeMode] WhiteSpace</ins>
           [~UnicodeMode] SourceCharacter but not UnicodeIDContinue
 
         DecimalEscape ::