From 867a11af44827af8974250e6dbb5e96b6268b44f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 23 Dec 2010 11:23:31 -0500
Subject: Recursive record unification errors, for more detail

---
 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 025e4281..8cf516f8 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -143,6 +143,7 @@ val current : t ::: Type -> signal t -> transaction t
 val now : transaction time
 val minTime : time
 val minusSeconds : time -> int -> time
+val timef : string -> time -> string (* Uses strftime() format string *)
 
 
 (** HTTP operations *)
-- 
cgit v1.2.3