diff src/shake.sml @ 609:56aaa1941dad

First gimpy RPC
author Adam Chlipala <adamc@hcoop.net>
date Sun, 15 Feb 2009 10:32:50 -0500
parents 0dd40b6bfdf3
children 70cbdcf5989b
line wrap: on
line diff
--- a/src/shake.sml	Sun Feb 15 09:27:36 2009 -0500
+++ b/src/shake.sml	Sun Feb 15 10:32:50 2009 -0500
@@ -116,7 +116,7 @@
             in
                 case e of
                     ENamed n => check n
-                  | EServerCall (n, _, _) => check n
+                  | EServerCall (n, _, _, _) => check n
                   | _ => s
             end