From: Mark Wooding <mdw@distorted.org.uk>
Date: Wed, 16 May 2018 09:08:16 +0000 (+0100)
Subject: doc/syntax.tex: Delete (wrong) duplicate rule for <argument-declarator>.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/sod/commitdiff_plain/7b7947024fedb0bb7a0ea3ccb0029f6060de901b?hp=cee29adc008fad567ab47162b54eeca1de2c5064

doc/syntax.tex: Delete (wrong) duplicate rule for <argument-declarator>.
---

diff --git a/doc/syntax.tex b/doc/syntax.tex
index 8030ee0..6ebdc78 100644
--- a/doc/syntax.tex
+++ b/doc/syntax.tex
@@ -492,8 +492,6 @@ All of these have their usual C meanings.
 
 <abstract-declarator> ::= <declarator>$[\epsilon, \mbox{@<argument-list>}]$
 
-<argument-declarator> ::= <declarator>$[\mbox{@<identifier> @! $\epsilon$}]$
-
 <argument-declarator> ::=
   <declarator>$[\mbox{@<identifier> @! $\epsilon$}, \mbox{@<argument-list>}]$