# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1293731288 18000
# Node ID 730b3d0de1c13b6c56d5524a16ae0c6b197ad772
# Parent  a8ba2952b210c153cc60efc367884ede8ced913f
Fix jsifyTime to work on 32-bit systems

diff -r a8ba2952b210 -r 730b3d0de1c1 src/c/urweb.c
--- a/src/c/urweb.c	Thu Dec 30 12:27:19 2010 -0500
+++ b/src/c/urweb.c	Thu Dec 30 12:48:08 2010 -0500
@@ -2015,7 +2015,7 @@
 
   uw_check_heap(ctx, INTS_MAX);
   r = ctx->heap.front;
-  sprintf(r, "%lld%n", (uw_Basis_int)(t.seconds * 1000000 + t.microseconds), &len);
+  sprintf(r, "%lld%n", (uw_Basis_int)t.seconds * 1000000 + t.microseconds, &len);
   ctx->heap.front += len+1;
   return r;
 }