From 541a15124e163ce8aff94bf37f24c54085c19884 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 18 Dec 2010 15:17:09 -0500
Subject: Periodic tasks

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

(limited to 'lib/ur')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 2a61b701..2a3b9a33 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -813,6 +813,7 @@ val show_xml : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> show (xml
 con task_kind :: Type -> Type
 val initialize : task_kind unit
 val clientLeaves : task_kind client
+val periodic : int -> task_kind unit
 
 
 (** Information flow security *)
-- 
cgit v1.2.3