Fix end-of-line-comment bug.

src/main/jastadd/RelAst.flex

@@ -37,7 +37,7 @@ import org.jastadd.relast.parser.RelAstParser.Terminals;
 
 WhiteSpace = [ ] | \t | \f | \n | \r | \r\n
 TraditionalComment   = [/][*][^*]*[*]+([^*/][^*]*[*]+)*[/]
-EndOfLineComment = "//" [^\n|\r|\r\n]*
+EndOfLineComment = "//" [^\n\r]*
 Comment = {TraditionalComment} | {EndOfLineComment}
 
 ID = [a-zA-Z$_][a-zA-Z0-9$_]*