diff calendar.urs @ 23:7c734edc6301

Merge from Adam.
author Karn Kallio <kkallio@eka>
date Sat, 24 Sep 2011 18:55:27 -0430
parents 554e342665fe
children 5905b56e0cd9
line wrap: on
line diff
--- a/calendar.urs	Mon Aug 22 05:06:15 2011 -0430
+++ b/calendar.urs	Sat Sep 24 18:55:27 2011 -0430
@@ -20,7 +20,7 @@
 val value : t -> signal date
 (* Read the date of the calendar. *)
 
-val gui_t : Gui.gui t
+val gui_t : Gui.gui t []
 (* Witness that this is a gui widget. *)
 
 val create : time -> transaction t