From 0320894b95250a2475bfa4ddea821a8ecb651b18 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Thu, 25 Nov 2021 23:48:07 +0100
Subject: [PATCH] fix bug: newline does not belong to line comment

---
 src/main/grammar/Aspect.flex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/grammar/Aspect.flex b/src/main/grammar/Aspect.flex
index 671249c..80a77cd 100644
--- a/src/main/grammar/Aspect.flex
+++ b/src/main/grammar/Aspect.flex
@@ -33,7 +33,7 @@ import com.intellij.psi.TokenType;
 WhiteSpace          = [ \t\n\r\f]
 
 // TODO what is /**/ in Java? Is this caputered here?
-SingleLineComment   = "//"  [^\n\r]* (\n | \r | \r\n)
+SingleLineComment   = "//"  [^\n\r]*
 FormalComment       = "/**" [^*]* [*]+([^*/][^*]*[*]+)*[/]
 MultiLineComment    = "/*"  [^*]+ [*]+([^*/][^*]*[*]+)*[/]
 
-- 
GitLab