From 7c866487f8ab0dd9b9c73bee013c18805a0c4489 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 25 Aug 2009 13:57:56 -0400
Subject: grid1 compiles but gets stuck in JS

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

(limited to 'src/mono_opt.sig')

diff --git a/src/mono_opt.sig b/src/mono_opt.sig
index 7368f684..1d0fec5c 100644
--- a/src/mono_opt.sig
+++ b/src/mono_opt.sig
@@ -29,7 +29,5 @@ signature MONO_OPT = sig
 
     val optimize : Mono.file -> Mono.file
     val optExp : Mono.exp -> Mono.exp
-
-    val removeServerCalls : bool ref
-
+    
 end
-- 
cgit v1.2.3