From b6a5020c8e24ab0b4507aa51834eb71b10c73500 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 22 Aug 2010 13:43:46 -0400
Subject: Reduce: Inline let-bound variables whose types involve functions

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

(limited to 'src/especialize.sig')

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