diff src/mono_opt.sig @ 717:e28637743279

URLs
author Adam Chlipala <adamc@hcoop.net>
date Thu, 09 Apr 2009 16:36:50 -0400
parents 65d8541c130b
children f7e2026dd5ae
line wrap: on
line diff
--- a/src/mono_opt.sig	Thu Apr 09 15:58:36 2009 -0400
+++ b/src/mono_opt.sig	Thu Apr 09 16:36:50 2009 -0400
@@ -30,4 +30,6 @@
     val optimize : Mono.file -> Mono.file
     val optExp : Mono.exp -> Mono.exp
 
+    val bless : (string -> bool) ref
+
 end