From 5a88b41a6655f601c989ae94ce1fc8bb391ca630 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 25 Oct 2009 14:07:10 -0400 Subject: RPC uses VM support for call/cc --- src/mono_reduce.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/mono_reduce.sml') diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml index 40d3c9e5..d09c957c 100644 --- a/src/mono_reduce.sml +++ b/src/mono_reduce.sml @@ -450,7 +450,7 @@ fun reduce file = | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2 | ESignalSource e => summarize d e - | EServerCall (e, _, _, _) => summarize d e @ [Unsure] + | EServerCall (e, _, _) => summarize d e @ [Unsure] | ERecv (e, _, _) => summarize d e @ [Unsure] | ESleep (e, _) => summarize d e @ [Unsure] in -- cgit v1.2.3