Complete 1.02.p.1: Tiger lexer

[tiger.ml.git] / tiger / src / exe / tiger_main.mli

diff --git a/tiger/src/exe/tiger_main.mli b/tiger/src/exe/tiger_main.mli
deleted file mode 100644 (file)
index e69de29..0000000