Make the line non-terminal an actual line

by removing \n and \r from the WS terminal.
This commit is contained in:
Jos van den Oever 2024-08-28 17:27:59 +02:00
parent ddfdeb7224
commit 5298c9e97a
2 changed files with 3 additions and 3 deletions

View file

@ -16,4 +16,4 @@ This description has # ' " [] symbols and ü © Ð Latin-1 chars.
This is the description of the second task. This is the description of the second task.
* First subtask {500} * First subtask {500}
- Second subtask {500} - Second subtask {500}

View file

@ -1,7 +1,7 @@
grammar takentaal; grammar takentaal;
takentaal takentaal
: line+ EOF : (line '\n'+)+ EOF
; ;
line line
@ -75,7 +75,7 @@ SUBTASK_OBSOLETE_TOKEN
; ;
WS WS
: [ \r\n\t]+ -> skip : [ \t]+ -> skip
; ;
INT INT