changeset 1377:730b3d0de1c1

Fix jsifyTime to work on 32-bit systems
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Dec 2010 12:48:08 -0500
parents a8ba2952b210
children 461250eb24a2
files src/c/urweb.c
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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;
 }