diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-02-15 10:32:50 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-02-15 10:32:50 -0500 |
commit | 7bfdd9349b08b82f4e8fceb75749c17f8e8324e2 (patch) | |
tree | 97a0ff4ed73faa83667f997d5fa13306ba98789b /src/shake.sml | |
parent | 4d6b4140314ee47c6278d75a196fb81da3fedc26 (diff) |
First gimpy RPC
Diffstat (limited to 'src/shake.sml')
-rw-r--r-- | src/shake.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/shake.sml b/src/shake.sml index 58c1d2c6..4df64efa 100644 --- a/src/shake.sml +++ b/src/shake.sml @@ -116,7 +116,7 @@ fun shake file = in case e of ENamed n => check n - | EServerCall (n, _, _) => check n + | EServerCall (n, _, _, _) => check n | _ => s end |