From 5a88b41a6655f601c989ae94ce1fc8bb391ca630 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 25 Oct 2009 14:07:10 -0400
Subject: RPC uses VM support for call/cc

---
 src/shake.sml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/shake.sml')

diff --git a/src/shake.sml b/src/shake.sml
index 501f8209..ea97dafa 100644
--- a/src/shake.sml
+++ b/src/shake.sml
@@ -137,8 +137,7 @@ fun shake file =
             in
                 case e of
                     ENamed n => check n
-                  | EServerCall (n, _, _, _, _) => check n
-                  | ETailCall (n, _, _, _, _) => check n
+                  | EServerCall (n, _, _) => check n
                   | _ => s
             end
 
-- 
cgit v1.2.3