From 47c3f97fcb06ec6b269d2242ca3eca3a0bbde118 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 30 Dec 2010 12:48:08 -0500 Subject: Fix jsifyTime to work on 32-bit systems --- src/c/urweb.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/c/urweb.c') diff --git a/src/c/urweb.c b/src/c/urweb.c index 4ebe6901..c40890a5 100644 --- a/src/c/urweb.c +++ b/src/c/urweb.c @@ -2015,7 +2015,7 @@ char *uw_Basis_jsifyTime(uw_context ctx, uw_Basis_time t) { 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; } -- cgit v1.2.3