Rename "tiger" dir to "compiler"

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

diff --git a/tiger/src/lib/tiger/tiger.ml b/tiger/src/lib/tiger/tiger.ml
deleted file mode 100644 (file)
index 1ae01c1..0000000
--- a/tiger/src/lib/tiger/tiger.ml
+++ /dev/null
@@ -1,4 +0,0 @@
-module Absyn  = Tiger_absyn
-module Lexer  = Tiger_lexer
-module Parser = Tiger_parser
-module Parser_token = Tiger_parser_token