From 42fab45125992244c499ec5ac64e0376109bd4cb Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 10 Aug 2013 10:13:40 -0400
Subject: Expand coverage of 'functionInside' for Especialize

---
 src/especialize.sig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/especialize.sig')

diff --git a/src/especialize.sig b/src/especialize.sig
index ad2d15da..135e3a00 100644
--- a/src/especialize.sig
+++ b/src/especialize.sig
@@ -29,6 +29,6 @@ signature ESPECIALIZE = sig
 
     val specialize : Core.file -> Core.file
 
-    val functionInside : Core.con -> bool
+    val functionInside : IntBinarySet.set -> Core.con -> bool
 
 end
-- 
cgit v1.2.3