Removed unused disjunct in SourceContents. [jgm/peg-markdown]

See https://github.com/jgm/peg-markdown/commit/2a19a38
2013-01-23 22:36:47 +01:00 · 2013-01-23 22:36:47 +01:00 · 3d0dcc5c4b
commit 3d0dcc5c4b
parent e5cc35f577
2 changed files with 1 additions and 2 deletions
--- a/parser.leg
+++ b/parser.leg
@ -610,7 +610,6 @@ Source  = ( '<' < SourceContents > '>' | < SourceContents > )
          { $$ = p.mkString(yytext) }

 SourceContents = ( ( !'(' !')' !'>' Nonspacechar )+ | '(' SourceContents ')')*
-                 | ""

 Title = ( TitleSingle | TitleDouble | < "" > )
        { $$ = p.mkString(yytext) }
--- a/2
+++ b/2
@ -1 +1 @@
-196
+197