From 2627ab6f5cfd96df06016a88b7e5a245e3ab9d8f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 22 Mar 2009 15:05:07 -0400 Subject: First message send delivered, but not interpreted --- src/scriptcheck.sml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/scriptcheck.sml') diff --git a/src/scriptcheck.sml b/src/scriptcheck.sml index fd4f4cd9..2bc185f9 100644 --- a/src/scriptcheck.sml +++ b/src/scriptcheck.sml @@ -38,7 +38,10 @@ structure IS = IntBinarySet val csBasis = SS.addList (SS.empty, ["new_client_source", "get_client_source", - "set_client_source"]) + "set_client_source", + "new_channel", + "subscribe", + "recv"]) val scriptWords = ["