From f658365e76265f7d990297c6615aa1ca90746017 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 5 Aug 2012 17:11:39 -0400
Subject: Revert last changeset for now; needs more thought

---
 src/especialize.sml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/especialize.sml')

diff --git a/src/especialize.sml b/src/especialize.sml
index a3d59ef9..d6bf7eba 100644
--- a/src/especialize.sml
+++ b/src/especialize.sml
@@ -124,7 +124,6 @@ fun default (_, x, st) = (x, st)
 
 val functionInside = U.Con.exists {kind = fn _ => false,
                                    con = fn TFun _ => true
-                                          | TCFun _ => true
                                           | CFfi ("Basis", "transaction") => true
                                           | CFfi ("Basis", "eq") => true
                                           | CFfi ("Basis", "num") => true
-- 
cgit v1.2.3