diff --git a/spec.html b/spec.html
index 82bf865a7f1..e82da60a21f 100644
--- a/spec.html
+++ b/spec.html
@@ -33041,19 +33041,16 @@
Patterns
`(` GroupSpecifier[?U] Disjunction[?U, ?N] `)`
`(` `?` `:` Disjunction[?U, ?N] `)`
[~U] InvalidBracedQuantifier
- [+U] PatternCharacter
- [~U] ExtendedPatternCharacter
+ PatternCharacter[?U]
InvalidBracedQuantifier ::
`{` DecimalDigits[~Sep] `}`
`{` DecimalDigits[~Sep] `,` `}`
`{` DecimalDigits[~Sep] `,` DecimalDigits[~Sep] `}`
- ExtendedPatternCharacter ::
- SourceCharacter but not one of `^` `$` `\` `.` `*` `+` `?` `(` `)` `[` `|`
-
- PatternCharacter ::
- SourceCharacter but not SyntaxCharacter
+ PatternCharacter[U] ::
+ [+U] SourceCharacter but not SyntaxCharacter
+ [~U] SourceCharacter but not one of `^` `$` `\` `.` `*` `+` `?` `(` `)` `[` `|`
SyntaxCharacter :: one of
`^` `$` `\` `.` `*` `+` `?` `(` `)` `[` `]` `{` `}` `|`
@@ -34092,12 +34089,6 @@ Atom
1. Return the Matcher that is the result of evaluating |Disjunction| with argument _direction_.
- The production Atom ::! ExtendedPatternCharacter evaluates as follows:
-
- 1. Let _ch_ be the character represented by |ExtendedPatternCharacter|.
- 1. Let _A_ be a one-element CharSet containing the character _ch_.
- 1. Return ! CharacterSetMatcher(_A_, *false*, _direction_).
-
The production Atom ::! PatternCharacter evaluates as follows:
1. Let _ch_ be the character matched by |PatternCharacter|.
@@ -45293,7 +45284,6 @@ Regular Expressions
-