Mercurial > urweb

diff src/mono_print.sml @ 736:796e42c93c48

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookie signatures for RPCs
author Adam Chlipala <adamc@hcoop.net>
date Thu, 23 Apr 2009 16:13:02 -0400
parents 5819fb63c93a
children f7e2026dd5ae
line wrap: on
line diff
--- a/src/mono_print.sml	Thu Apr 23 14:10:10 2009 -0400
+++ b/src/mono_print.sml	Thu Apr 23 16:13:02 2009 -0400
@@ -308,11 +308,11 @@
                                 p_exp env e,
                                 string ")"]
 
-      | EServerCall (n, e, _) => box [string "Server(",
-                                          p_exp env n,
-                                          string ")[",
-                                          p_exp env e,
-                                          string "]"]
+      | EServerCall (n, e, _, _) => box [string "Server(",
+                                         p_exp env n,
+                                         string ")[",
+                                         p_exp env e,
+                                         string "]"]
       | ERecv (n, e, _) => box [string "Recv(",
                                 p_exp env n,
                                 string ")[",