X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=tiger%2Fsrc%2Flib%2Ftiger%2Ftiger_lexer.mli;h=da2cb11866bcd2af43d49d2350f04ca2b06a69f6;hb=543d34200923ddd3fedc247b7d663ee46733f0f1;hp=fd30dceb99c30388fb366e66c09447fd771742ea;hpb=78c9eca51ebc5150d79f84e255a57bb9df9f82fc;p=tiger.ml.git

diff --git a/tiger/src/lib/tiger/tiger_lexer.mli b/tiger/src/lib/tiger/tiger_lexer.mli
index fd30dce..da2cb11 100644
--- a/tiger/src/lib/tiger/tiger_lexer.mli
+++ b/tiger/src/lib/tiger/tiger_lexer.mli
@@ -1 +1 @@
-val token : Lexing.lexbuf -> Tiger_parser.Token.t
+val token : Lexing.lexbuf -> Tiger_parser.token