diff src/mono_opt.sig @ 769:efceae06df17

allow/deny working in Mono_opt
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 13:37:52 -0400
parents f7e2026dd5ae
children 7a4b026e45dd
line wrap: on
line diff
--- a/src/mono_opt.sig	Sat May 02 13:23:07 2009 -0400
+++ b/src/mono_opt.sig	Sat May 02 13:37:52 2009 -0400
@@ -30,7 +30,4 @@
     val optimize : Mono.file -> Mono.file
     val optExp : Mono.exp -> Mono.exp
 
-    val bless : (string -> bool) ref
-    val blessMime : (string -> bool) ref
-
 end