diff src/c/urweb.c @ 1138:b7118ffd32ae

Update Makefile.in's with new Autotools; add extra 'return NULL' to placate some -Wall
author Adam Chlipala <adamc@hcoop.net>
date Sat, 30 Jan 2010 11:21:26 -0500
parents b08b73591d2c
children ae818127a725
line wrap: on
line diff
--- a/src/c/urweb.c	Sat Jan 30 08:45:31 2010 -0500
+++ b/src/c/urweb.c	Sat Jan 30 11:21:26 2010 -0500
@@ -3279,6 +3279,10 @@
   return time(NULL);
 }
 
+uw_Basis_time uw_Basis_minusSeconds(uw_context ctx, uw_Basis_time tm, uw_Basis_int n) {
+  return tm - n;
+}
+
 void *uw_get_global(uw_context ctx, char *name) {
   int i;