# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1293730039 18000
# Node ID a8ba2952b210c153cc60efc367884ede8ced913f
# Parent  f294173d87db99c3b7710388ff37b445bad927ba
Fix new urlifyTime to work properly on 32-bit systems

diff -r f294173d87db -r a8ba2952b210 src/c/urweb.c
--- a/src/c/urweb.c	Wed Dec 29 16:16:25 2010 -0500
+++ b/src/c/urweb.c	Thu Dec 30 12:27:19 2010 -0500
@@ -1774,7 +1774,7 @@
 }
 
 uw_Basis_string uw_Basis_urlifyTime(uw_context ctx, uw_Basis_time t) {
-  return uw_Basis_urlifyInt(ctx, t.seconds * 1000000 + t.microseconds);
+  return uw_Basis_urlifyInt(ctx, (uw_Basis_int)t.seconds * 1000000 + t.microseconds);
 }
 
 uw_unit uw_Basis_urlifyString_w(uw_context ctx, uw_Basis_string s) {