From 332e63f89011488c8c1df9a0903f95be20d989a4 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 1 Nov 2008 21:19:43 -0400
Subject: Almost have that nested save function compiling

---
 src/mono_reduce.sig | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/mono_reduce.sig')

diff --git a/src/mono_reduce.sig b/src/mono_reduce.sig
index 3769a0f5..2495c7f9 100644
--- a/src/mono_reduce.sig
+++ b/src/mono_reduce.sig
@@ -30,5 +30,7 @@
 signature MONO_REDUCE = sig
 
     val reduce : Mono.file -> Mono.file
-    
+
+    val subExpInExp : int * Mono.exp -> Mono.exp -> Mono.exp
+
 end
-- 
cgit v1.2.3