From e3c1dc70596187c57410c89472f8affa2515183c Mon Sep 17 00:00:00 2001
From: Tobie Langel <tobie@codespeaks.com>
Date: Mon, 31 Jul 2017 15:52:58 +0200
Subject: [PATCH] Remove orphaned Inherit non-terminal

---
 index.bs | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/index.bs b/index.bs
index 8340099b..ef674649 100644
--- a/index.bs
+++ b/index.bs
@@ -1518,12 +1518,6 @@ are applicable only to regular attributes:
         "required"
 </pre>
 
-<pre class="grammar" id="prod-Inherit">
-    Inherit :
-        "inherit"
-        ε
-</pre>
-
 <pre class="grammar" id="prod-ReadOnly">
     ReadOnly :
         "readonly"