From b05b60f5cdaa0da92af54640f8a2db6e18a283ba Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 4 Apr 2009 15:56:47 -0400
Subject: sleep and better Scriptcheck

---
 lib/ur/basis.urs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 19a7a9f1..0d5d3d71 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -106,6 +106,7 @@ val setCookie : t ::: Type -> http_cookie t -> t -> transaction unit
 
 val alert : string -> transaction unit
 val spawn : transaction unit -> transaction unit
+val sleep : int -> transaction unit
 
 
 (** Channels *)
-- 
cgit v1.2.3