diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-08-25 13:57:56 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-08-25 13:57:56 -0400 |
| commit | 7c866487f8ab0dd9b9c73bee013c18805a0c4489 (patch) | |
| tree | eccb7d719d3ca507893680773971963313bd56c2 /src/mono_reduce.sml | |
| parent | dadc173e9a2d4f130a573f59adce2e386901c18d (diff) | |
grid1 compiles but gets stuck in JS
Diffstat (limited to 'src/mono_reduce.sml')
| -rw-r--r-- | src/mono_reduce.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml index 62368f9b..4bbb430d 100644 --- a/src/mono_reduce.sml +++ b/src/mono_reduce.sml @@ -354,7 +354,7 @@ fun reduce file = | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2 | ESignalSource e => summarize d e - | EServerCall (e, ek, _, _, _) => summarize d e @ summarize d ek @ [Unsure] + | EServerCall (e, ek, _, _) => summarize d e @ summarize d ek @ [Unsure] | ERecv (e, ek, _) => summarize d e @ summarize d ek @ [Unsure] | ESleep (e, ek) => summarize d e @ summarize d ek @ [Unsure] in |