diff --git a/src/main/jastadd/RelAst.flex b/src/main/jastadd/RelAst.flex index 17049259871bf75b47bc9c5a2ef9d5a4fb4d9932..7c06485cec6e976d9297ac752ce4146c35c3ab4e 100644 --- a/src/main/jastadd/RelAst.flex +++ b/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$_]*