X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_translate.mli;fp=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_translate.mli;h=7f71711273e66877c712e266684ec6f122dba78b;hb=4204350300f47d6df974611b26911cf32c68d6eb;hp=0000000000000000000000000000000000000000;hpb=9d441341c4514e47a537bb29068e0e0d9ab78989;p=tiger.ml.git

diff --git a/compiler/src/lib/tiger/tiger_translate.mli b/compiler/src/lib/tiger/tiger_translate.mli
new file mode 100644
index 0000000..7f71711
--- /dev/null
+++ b/compiler/src/lib/tiger/tiger_translate.mli
@@ -0,0 +1 @@
+type exp = unit