From 7b7947024fedb0bb7a0ea3ccb0029f6060de901b Mon Sep 17 00:00:00 2001 Message-Id: <7b7947024fedb0bb7a0ea3ccb0029f6060de901b.1715577162.git.mdw@distorted.org.uk> From: Mark Wooding Date: Wed, 16 May 2018 10:08:16 +0100 Subject: [PATCH] doc/syntax.tex: Delete (wrong) duplicate rule for . Organization: Straylight/Edgeware From: Mark Wooding --- doc/syntax.tex | 2 -- 1 file changed, 2 deletions(-) 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. ::= $[\epsilon, \mbox{@}]$ - ::= $[\mbox{@ @! $\epsilon$}]$ - ::= $[\mbox{@ @! $\epsilon$}, \mbox{@}]$ -- [mdw]