diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-12-30 12:48:08 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-12-30 12:48:08 -0500 |
| commit | 47c3f97fcb06ec6b269d2242ca3eca3a0bbde118 (patch) | |
| tree | be2da00e94b3473c0dd36e322e665f92e80cab2b /src | |
| parent | 0da856d382928de6ab36d7d0a81babd5434fc05d (diff) | |
Fix jsifyTime to work on 32-bit systems
Diffstat (limited to 'src')
| -rw-r--r-- | src/c/urweb.c | 2 |
1 files changed, 1 insertions, 1 deletions
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; } |