diff src/mono_print.sml @ 1020:dfe34fad749d

RPC uses VM support for call/cc
author Adam Chlipala <adamc@hcoop.net>
date Sun, 25 Oct 2009 14:07:10 -0400
parents 8e540df3294d
children 7a4a55e05081
line wrap: on
line diff
--- a/src/mono_print.sml	Sun Oct 25 13:12:24 2009 -0400
+++ b/src/mono_print.sml	Sun Oct 25 14:07:10 2009 -0400
@@ -335,11 +335,9 @@
                                 p_exp env e,
                                 string ")"]
 
-      | EServerCall (n, e, _, _) => box [string "Server(",
-                                         p_exp env n,
-                                         string ")[",
-                                         p_exp env e,
-                                         string "]"]
+      | EServerCall (n, _, _) => box [string "Server(",
+                                      p_exp env n,
+                                      string ")"]
       | ERecv (n, e, _) => box [string "Recv(",
                                 p_exp env n,
                                 string ")[",