From 231c4bfd8d410f01f98801dff7a159068c552c64 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 2 May 2009 13:37:52 -0400
Subject: allow/deny working in Mono_opt

---
 src/mono_opt.sig | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'src/mono_opt.sig')

diff --git a/src/mono_opt.sig b/src/mono_opt.sig
index 905dc53b..d0268087 100644
--- a/src/mono_opt.sig
+++ b/src/mono_opt.sig
@@ -30,7 +30,4 @@ signature MONO_OPT = sig
     val optimize : Mono.file -> Mono.file
     val optExp : Mono.exp -> Mono.exp
 
-    val bless : (string -> bool) ref
-    val blessMime : (string -> bool) ref
-
 end
-- 
cgit v1.2.3