1 files changed, 0 insertions, 20 deletions
diff --git a/boot/states.txt b/boot/states.txt
deleted file mode 100644
index 20d5966..0000000
--- a/boot/states.txt
+++ /dev/null
@@ -1,20 +0,0 @@
-- start
-digit: integer
-upper: identifier
-lower: identifier
-space: start
-invalid: error
-
-- identifier
-digit: identifier
-upper: identifier
-lower: identifier
-space: end
-invalid: end
-
-- integer:
-digit: integer
-upper: end
-lower: end
-space: end
-invalid: end