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

diff --git a/tiger/src/lib/tiger/tiger_lexer.mli b/tiger/src/lib/tiger/tiger_lexer.mli
index dceeee5..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 option
+val token : Lexing.lexbuf -> Tiger_parser.token