From 7c26274bda3fde061a0bc30118ae36598edfb84e Mon Sep 17 00:00:00 2001 From: Yarmo Mackenbach Date: Mon, 12 Aug 2024 10:52:45 +0200 Subject: [PATCH] feat: reuse DIGIT rule --- takentaal.g4 | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/takentaal.g4 b/takentaal.g4 index 40ce9dd..8f5225f 100644 --- a/takentaal.g4 +++ b/takentaal.g4 @@ -97,5 +97,6 @@ fragment TEXTHEAD fragment TEXTBODY : TEXTHEAD - | [0-9_()., ] + | DIGIT + | [_()., ] ; \ No newline at end of file