Rename "tiger" dir to "compiler"

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

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