diff --git a/spec.html b/spec.html
index e0d9b2baef..3fde9d0f42 100644
--- a/spec.html
+++ b/spec.html
@@ -3286,24 +3286,6 @@
Syntax
DecimalDigits `.` DecimalDigits? ExponentPart?
`.` DecimalDigits ExponentPart?
DecimalDigits ExponentPart?
-
- DecimalDigits :::
- DecimalDigit
- DecimalDigits DecimalDigit
-
- DecimalDigit ::: one of
- `0` `1` `2` `3` `4` `5` `6` `7` `8` `9`
-
- ExponentPart :::
- ExponentIndicator SignedInteger
-
- ExponentIndicator ::: one of
- `e` `E`
-
- SignedInteger :::
- DecimalDigits
- `+` DecimalDigits
- `-` DecimalDigits
All grammar symbols not explicitly defined above have the definitions used in the Lexical Grammar for numeric literals ()