diff src/mono_opt.sig @ 910:8e540df3294d

grid1 compiles but gets stuck in JS
author Adam Chlipala <adamc@hcoop.net>
date Tue, 25 Aug 2009 13:57:56 -0400
parents 7a4b026e45dd
children
line wrap: on
line diff
--- a/src/mono_opt.sig	Sat Aug 22 16:32:31 2009 -0400
+++ b/src/mono_opt.sig	Tue Aug 25 13:57:56 2009 -0400
@@ -29,7 +29,5 @@
 
     val optimize : Mono.file -> Mono.file
     val optExp : Mono.exp -> Mono.exp
-
-    val removeServerCalls : bool ref
-
+    
 end