From e13c31dcce3028040ba6df699e3410dc78793c30 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 22 Aug 2010 19:45:07 -0400
Subject: Confirm boxes; proper event handler setting for ctags

---
 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 d9967d12..5ed616a0 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -158,6 +158,7 @@ val clearCookie : t ::: Type -> http_cookie t -> transaction unit
 (** JavaScript-y gadgets *)
 
 val alert : string -> transaction unit
+val confirm : string -> transaction bool
 val spawn : transaction unit -> transaction unit
 val sleep : int -> transaction unit
 
-- 
cgit v1.2.3