Fixed LINE_COMMENT lexer rule

distributed-lab · Aug 20, 2024 · e83c155 · e83c155
1 parent 81f4b39
commit e83c155
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/data/Example1.circom b/data/Example1.circom
@@ -59,4 +59,6 @@ template nbits(a) {
    outA <== i;
 }
 
-component main {public [in1]}= A();
+component main {public [in1]}= A();
+
+// Some comment
diff --git a/grammar/LexerCircom.g4 b/grammar/LexerCircom.g4
@@ -126,7 +126,7 @@ COMMENT
     ;
 
 LINE_COMMENT
-    : '//' ~[\r\n]* '\r'? '\n' -> channel(HIDDEN)
+    : '//' ~[\r\n]* -> channel(HIDDEN)
     ;
 
 WS  : [ \r\t\u000C\n]+ -> channel(HIDDEN)