removed bloat from mapping

2026-06-15 15:38:56 +02:00
parent b6eb46d985
commit 0e3e0bdb56
2 changed files with 0 additions and 9 deletions
@@ -1,9 +0,0 @@
-WHITESPACE = _{ " " | "\t" | "\r" | "\n" }
-
-integer = @{ ASCII_DIGIT+ }
-
-map = { "/*" ~ integer ~ ":" ~ integer ~ "*/" }
-
-non_map = { (!map ~ ANY)+ }
-
-mapping = { SOI ~ (map | non_map)* ~ EOI }