diff options
Diffstat (limited to 'otherlibs/unix/time.c')
| -rw-r--r-- | otherlibs/unix/time.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/otherlibs/unix/time.c b/otherlibs/unix/time.c index 4278053fb..43c204c1c 100644 --- a/otherlibs/unix/time.c +++ b/otherlibs/unix/time.c @@ -13,9 +13,10 @@ #include <time.h> #include <mlvalues.h> +#include <alloc.h> #include "unixsupport.h" value unix_time(void) /* ML */ { - return Val_long(time((time_t *) NULL)); + return copy_double((double) time((time_t *) NULL)); } |