diff options
Diffstat (limited to 'otherlibs/unix/time.c')
| -rw-r--r-- | otherlibs/unix/time.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/unix/time.c b/otherlibs/unix/time.c index 936b96b69..1d32c22c4 100644 --- a/otherlibs/unix/time.c +++ b/otherlibs/unix/time.c @@ -17,7 +17,7 @@ #include <alloc.h> #include "unixsupport.h" -value unix_time(void) /* ML */ +CAMLprim value unix_time(void) { return copy_double((double) time((time_t *) NULL)); } |