X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=tiger%2Fsrc%2Flib%2Ftiger%2Ftiger_lexer.mli;h=dceeee523c05c691a53ac795d2988fa6fce47974;hb=1946b457577c5c3ffb1690b766049797bcaa8bc3;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..dceeee5 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.t option