From 90da978a70db75e8e9f96e96a41164fceff2b425 Mon Sep 17 00:00:00 2001
From: Patrick Hurst <phurst@mit.edu>
Date: Sun, 8 Dec 2013 03:25:31 -0500
Subject: Rename datetime type to t in the .urs file.

---
 lib/ur/datetime.urs | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'lib/ur/datetime.urs')

diff --git a/lib/ur/datetime.urs b/lib/ur/datetime.urs
index 2fc2998b..26ee795a 100644
--- a/lib/ur/datetime.urs
+++ b/lib/ur/datetime.urs
@@ -5,7 +5,7 @@ datatype month = January | February | March | April | May | June | July |
          August | September | October | November | December
 
 
-type datetime = {
+type t = {
      Year : int,
      Month : month,
      Day : int,
@@ -23,8 +23,8 @@ val intToDayOfWeek : int -> day_of_week
 val monthToInt : month -> int
 val intToMonth : int -> month
 
-val toTime : datetime -> time
-val fromTime : time -> datetime
-val format : string -> datetime -> string
-val dayOfWeek : datetime -> day_of_week
-val now : transaction datetime
+val toTime : t -> time
+val fromTime : time -> t
+val format : string -> t -> string
+val dayOfWeek : t -> day_of_week
+val now : transaction t
-- 
cgit v1.2.3