diff --git a/spec.html b/spec.html
index fca271ce18e..036c6da2d60 100644
--- a/spec.html
+++ b/spec.html
@@ -29528,19 +29528,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
`^` `$` `\` `.` `*` `+` `?` `(` `)` `[` `]` `{` `}` `|`
@@ -30770,12 +30767,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*) and return its Matcher result.
-
The production Atom :: PatternCharacter evaluates as follows:
1. Let _ch_ be the character matched by |PatternCharacter|.
@@ -40400,7 +40391,6 @@ Regular Expressions
-