parser: a comment does not need to include a newline character

2024-12-03 19:31:21 +01:00 · 2024-12-03 19:31:21 +01:00 · 7c01b126c2
commit 7c01b126c2
parent 5633bf17a9
1 changed files with 1 additions and 1 deletions
--- a/concrete_syntax/textual_od/parser.py
+++ b/concrete_syntax/textual_od/parser.py
@ -15,7 +15,7 @@ grammar = r"""
 ?start: object*

 IDENTIFIER: /[A-Za-z_][A-Za-z_0-9]*/
-COMMENT: /#[^\n]*\n/
+COMMENT: /#[^\n]*/

 literal: INT
       | STR