diff --git a/parser.leg b/parser.leg index 96d0b8e..75bc921 100644 --- 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) } diff --git a/portid b/portid index 0f11735..5381652 100644 --- a/portid +++ b/portid @@ -1 +1 @@ -196 +197