From 5298c9e97a0ca662360300f35d6ce59b9fad375d Mon Sep 17 00:00:00 2001 From: Jos van den Oever Date: Wed, 28 Aug 2024 17:27:59 +0200 Subject: [PATCH] Make the line non-terminal an actual line by removing \n and \r from the WS terminal. --- example | 2 +- takentaal.g4 | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/example b/example index f106b12..88ff4a1 100644 --- a/example +++ b/example @@ -16,4 +16,4 @@ This description has # ' " [] symbols and ü © Ð Latin-1 chars. This is the description of the second task. * First subtask {500} -- Second subtask {500} \ No newline at end of file +- Second subtask {500} diff --git a/takentaal.g4 b/takentaal.g4 index d0781f2..0086fcd 100644 --- a/takentaal.g4 +++ b/takentaal.g4 @@ -1,7 +1,7 @@ grammar takentaal; takentaal - : line+ EOF + : (line '\n'+)+ EOF ; line @@ -75,7 +75,7 @@ SUBTASK_OBSOLETE_TOKEN ; WS - : [ \r\n\t]+ -> skip + : [ \t]+ -> skip ; INT