summaryrefslogtreecommitdiff
path: root/src/mono.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-04 15:56:47 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-04 15:56:47 -0400
commitcd768be8105e43b8c8d0cf1578528a02f5341a95 (patch)
tree3464b0dbe1197e509f51d5f6181dda2804344e26 /src/mono.sml
parentca7196c5dd362ccc6f19aaafef5b4252522e96a2 (diff)
sleep and better Scriptcheck
Diffstat (limited to 'src/mono.sml')
-rw-r--r--src/mono.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/mono.sml b/src/mono.sml
index f4bbc868..02afb2c0 100644
--- a/src/mono.sml
+++ b/src/mono.sml
@@ -111,6 +111,7 @@ datatype exp' =
| EServerCall of exp * exp * typ
| ERecv of exp * exp * typ
+ | ESleep of exp * exp
withtype exp = exp' located