diff --git a/spec.html b/spec.html
index 46a2dd6d5cf..aabfbce9c51 100644
--- a/spec.html
+++ b/spec.html
@@ -30961,19 +30961,16 @@
Patterns
`(` GroupSpecifier[?U] Disjunction[?U, ?N] `)`
`(` `?` `:` Disjunction[?U, ?N] `)`
[~U] InvalidBracedQuantifier
- [+U] PatternCharacter
- [~U] ExtendedPatternCharacter
+ PatternCharacter[?U]
InvalidBracedQuantifier ::
`{` DecimalDigits `}`
`{` DecimalDigits `,` `}`
`{` DecimalDigits `,` DecimalDigits `}`
- 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
`^` `$` `\` `.` `*` `+` `?` `(` `)` `[` `]` `{` `}` `|`
@@ -32194,12 +32191,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. Call CharacterSetMatcher(_A_, *false*, _direction_) and return its Matcher result.
-
The production Atom :: PatternCharacter evaluates as follows:
1. Let _ch_ be the character matched by |PatternCharacter|.
@@ -42066,7 +42057,6 @@ Regular Expressions
-