From a676c53ffcf88833514d12968ee5b6b28aa8cc8a Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 9 Nov 2008 18:19:47 -0500
Subject: Remove some allocation

---
 src/mono_reduce.sig | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/mono_reduce.sig')

diff --git a/src/mono_reduce.sig b/src/mono_reduce.sig
index 2495c7f9..a6b6cc81 100644
--- a/src/mono_reduce.sig
+++ b/src/mono_reduce.sig
@@ -33,4 +33,6 @@ signature MONO_REDUCE = sig
 
     val subExpInExp : int * Mono.exp -> Mono.exp -> Mono.exp
 
+    val impure : Mono.exp -> bool
+
 end
-- 
cgit v1.2.3