diff --git a/takentaal.g4 b/takentaal.g4 index 0682035..d0781f2 100644 --- a/takentaal.g4 +++ b/takentaal.g4 @@ -78,14 +78,14 @@ WS : [ \r\n\t]+ -> skip ; -TEXT - : TEXTHEAD TEXTBODY* - ; - INT : DIGIT+ ; +TEXT + : TEXTHEAD TEXTBODY* + ; + fragment LETTER : [a-zA-Z\u0080-\u00FF_] ; @@ -96,6 +96,7 @@ fragment DIGIT fragment TEXTHEAD : LETTER + | DIGIT ; fragment TEXTBODY