From 7e1a727f51882238d1a6193a7ad4d98e2f152a3c Mon Sep 17 00:00:00 2001
From: rschoene <rene.schoene@tu-dresden.de>
Date: Thu, 9 Jan 2020 17:46:01 +0100
Subject: [PATCH] Fix end-of-line-comment bug.
---
src/main/jastadd/RelAst.flex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/jastadd/RelAst.flex b/src/main/jastadd/RelAst.flex
index 1704925..7c06485 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$_]*
--
GitLab