From e77a9942be6069301a0786f20646afa8a7dcd4f5 Mon Sep 17 00:00:00 2001
From: Patrick Hurst <phurst@mit.edu>
Date: Sun, 8 Dec 2013 13:14:58 -0500
Subject: Finish datetime -> t rename

---
 lib/ur/datetime.ur | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib')

diff --git a/lib/ur/datetime.ur b/lib/ur/datetime.ur
index 6d995d89..dbc68da1 100644
--- a/lib/ur/datetime.ur
+++ b/lib/ur/datetime.ur
@@ -93,7 +93,7 @@ val eq_month = mkEq (fn a b => monthToInt a = monthToInt b)
 fun toTime dt : time = fromDatetime dt.Year (monthToInt dt.Month) dt.Day
                                     dt.Hour dt.Minute dt.Second
 
-fun fromTime t : datetime = {
+fun fromTime t : t = {
     Year = datetimeYear t,
     Month = intToMonth (datetimeMonth t),
     Day = datetimeDay t,
@@ -116,6 +116,6 @@ fun dayOfWeek dt : day_of_week =
       | n => error <xml>Illegal day of week {[n]}</xml>
 
 
-val now : transaction datetime =
+val now : transaction t =
     n <- now;
     return (fromTime n)
-- 
cgit v1.2.3