Rename "tiger" dir to "compiler"

[tiger.ml.git] / tiger / src / lib / tiger / tiger_lexer.mli

diff --git a/tiger/src/lib/tiger/tiger_lexer.mli b/tiger/src/lib/tiger/tiger_lexer.mli
deleted file mode 100644 (file)
index da2cb11..0000000
--- a/tiger/src/lib/tiger/tiger_lexer.mli
+++ /dev/null
@@ -1 +0,0 @@
-val token : Lexing.lexbuf -> Tiger_parser.token