X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_mips_frame.mli;fp=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_mips_frame.mli;h=2b2c5ed2dd6d52461ec7651bdd84c8435a73c132;hp=0000000000000000000000000000000000000000;hb=cc540a7e2dfcee4411953075210a64de874b91e5;hpb=21d0f0503ea169988685a4f39d0e32b2b097dae6

diff --git a/compiler/src/lib/tiger/tiger_mips_frame.mli b/compiler/src/lib/tiger/tiger_mips_frame.mli
new file mode 100644
index 0000000..2b2c5ed
--- /dev/null
+++ b/compiler/src/lib/tiger/tiger_mips_frame.mli
@@ -0,0 +1 @@
+include Tiger_frame_sig.S