From 4f0987ddef3dc105c3883aa9c1c69c29fbe86a8a Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 15 Feb 2009 13:03:09 -0500
Subject: Parameterized RPC query

---
 src/mono_print.sml | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

(limited to 'src/mono_print.sml')

diff --git a/src/mono_print.sml b/src/mono_print.sml
index ba4c57f1..a61b5847 100644
--- a/src/mono_print.sml
+++ b/src/mono_print.sml
@@ -308,11 +308,8 @@ fun p_exp' par env (e, _) =
                                 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 "]"]
-- 
cgit v1.2.3