diff src/mono_print.sml @ 614:5891f47d7cff

Parameterized RPC query
author Adam Chlipala <adamc@hcoop.net>
date Sun, 15 Feb 2009 13:03:09 -0500
parents 56aaa1941dad
children f73913d97a40
line wrap: on
line diff
--- a/src/mono_print.sml	Sun Feb 15 12:33:41 2009 -0500
+++ b/src/mono_print.sml	Sun Feb 15 13:03:09 2009 -0500
@@ -308,11 +308,8 @@
                                 p_exp env e,
                                 string ")"]
 
-      | EServerCall (n, es, e, _) => box [string "Server(",
-                                          string n,
-                                          string ",",
-                                          space,
-                                          p_list (p_exp env) es,
+      | EServerCall (n, e, _) => box [string "Server(",
+                                          p_exp env n,
                                           string ")[",
                                           p_exp env e,
                                           string "]"]