From aed3aa32e62846a16da55fc7be4cecba92ed5e2b Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 8 Mar 2009 20:34:21 -0400
Subject: Conversion of functions to CPS, to facilitate ServerCall

---
 src/reduce_local.sig | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/reduce_local.sig')

diff --git a/src/reduce_local.sig b/src/reduce_local.sig
index 3c76263a..64545a8e 100644
--- a/src/reduce_local.sig
+++ b/src/reduce_local.sig
@@ -30,5 +30,6 @@
 signature REDUCE_LOCAL = sig
 
     val reduce : Core.file -> Core.file
+    val reduceExp : Core.exp -> Core.exp
     
 end
-- 
cgit v1.2.3