X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=tiger%2Fsrc%2Fexe%2Ftigerc.mli;fp=tiger%2Fsrc%2Fexe%2Ftiger_main.mli;h=e69de29bb2d1d6434b8b29ae775ad8c2e48c5391;hb=78c9eca51ebc5150d79f84e255a57bb9df9f82fc;hp=e69de29bb2d1d6434b8b29ae775ad8c2e48c5391;hpb=1c975d0844f1b642646212180f34216af1ca8328;p=tiger.ml.git

diff --git a/tiger/src/exe/tiger_main.mli b/tiger/src/exe/tigerc.mli
similarity index 100%
rename from tiger/src/exe/tiger_main.mli
rename to tiger/src/exe/tigerc.mli