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 | 1557ac806159fe58eaa442527f73e569dd04f88e (patch) | |
tree | 97a0ff4ed73faa83667f997d5fa13306ba98789b /src/shake.sml | |
parent | e27335a18e8f4b1cca2749e8d41863b3cbef9b62 (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 |