From 551b819fe26edf69619ecf0bd9507eed155c259a Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 30 Jan 2010 11:21:26 -0500
Subject: Update Makefile.in's with new Autotools; add extra 'return NULL' to
 placate some -Wall

---
 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 5bd97fed..2d6e50ed 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -135,6 +135,7 @@ val current : t ::: Type -> signal t -> transaction t
 
 val now : transaction time
 val minTime : time
+val minusSeconds : time -> int -> time
 
 
 (** HTTP operations *)
-- 
cgit v1.2.3