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

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