X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=tiger%2Fsrc%2Flib%2Ftiger%2Ftiger.ml;fp=tiger%2Fsrc%2Flib%2Ftiger%2Ftiger.ml;h=0000000000000000000000000000000000000000;hb=cda83e5ec171672a59966d2bd9cd28bd7a8fe083;hp=1ae01c11f4548ab5e5d1f3fd0e1bfa27bca3a68b;hpb=46486dc8836fede7e00aaa614d99d98ed7646bdc;p=tiger.ml.git

diff --git a/tiger/src/lib/tiger/tiger.ml b/tiger/src/lib/tiger/tiger.ml
deleted file mode 100644
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