From 90c266db553a99056e0baac98df05f06c34de4ae Mon Sep 17 00:00:00 2001
From: Patrick Hurst <phurst@mit.edu>
Date: Thu, 5 Dec 2013 11:36:54 -0500
Subject: Day of week functions.

---
 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 804f15b9..36d2effa 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -175,6 +175,7 @@ val datetimeDay : time -> int
 val datetimeHour : time -> int
 val datetimeMinute: time -> int
 val datetimeSecond : time -> int
+val datetimeDayOfWeek : time -> int
 
 
 (** * Encryption *)
-- 
cgit v1.2.3