From 7555f1537c521cbe3585cecf183a32a1a8e84aa2 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Tue, 28 Dec 2010 14:51:57 -0500
Subject: Basis.readUtc

---
 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 a2881cf0..b002a419 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -144,6 +144,7 @@ val now : transaction time
 val minTime : time
 val addSeconds : time -> int -> time
 val timef : string -> time -> string (* Uses strftime() format string *)
+val readUtc : string -> option time
 
 
 (** * Encryption *)
-- 
cgit v1.2.3