diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-12-30 12:27:19 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-12-30 12:27:19 -0500 |
| commit | 0da856d382928de6ab36d7d0a81babd5434fc05d (patch) | |
| tree | e7fb417c7b9fab3a858ecb24971809df39992fcd | |
| parent | 0acfbea74402326b59661b3b45130511e8d55d87 (diff) | |
Fix new urlifyTime to work properly on 32-bit systems
| -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 6ddd6271..4ebe6901 100644 --- a/src/c/urweb.c +++ b/src/c/urweb.c @@ -1774,7 +1774,7 @@ uw_unit uw_Basis_urlifyFloat_w(uw_context ctx, uw_Basis_float n) { } 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) { |