changeset 1376:a8ba2952b210

Fix new urlifyTime to work properly on 32-bit systems
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Dec 2010 12:27:19 -0500
parents f294173d87db
children 730b3d0de1c1
files src/c/urweb.c
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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) {