diff src/mono.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.sml	Sun Feb 15 12:33:41 2009 -0500
+++ b/src/mono.sml	Sun Feb 15 13:03:09 2009 -0500
@@ -109,7 +109,7 @@
        | ESignalBind of exp * exp
        | ESignalSource of exp
 
-       | EServerCall of string * exp list * exp * typ
+       | EServerCall of exp * exp * typ
 
 withtype exp = exp' located