From 221615de9d28d6fa768ef3ce28483ed90d2aab6c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 4 Apr 2009 14:55:36 -0400
Subject: spawn

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

(limited to 'lib/ur/basis.urs')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index f95e8eba..19a7a9f1 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -105,6 +105,7 @@ val setCookie : t ::: Type -> http_cookie t -> t -> transaction unit
 (** JavaScript-y gadgets *)
 
 val alert : string -> transaction unit
+val spawn : transaction unit -> transaction unit
 
 
 (** Channels *)
-- 
cgit v1.2.3