diff options
Diffstat (limited to 'otherlibs/unix/gettimeofday.c')
| -rw-r--r-- | otherlibs/unix/gettimeofday.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/unix/gettimeofday.c b/otherlibs/unix/gettimeofday.c index 5c50855b6..6e436b58d 100644 --- a/otherlibs/unix/gettimeofday.c +++ b/otherlibs/unix/gettimeofday.c @@ -21,7 +21,7 @@ #include <sys/types.h> #include <sys/time.h> -value unix_gettimeofday(value unit) /* ML */ +CAMLprim value unix_gettimeofday(value unit) { struct timeval tp; if (gettimeofday(&tp, NULL) == -1) uerror("gettimeofday", Nothing); @@ -30,7 +30,7 @@ value unix_gettimeofday(value unit) /* ML */ #else -value unix_gettimeofday(value unit) +CAMLprim value unix_gettimeofday(value unit) { invalid_argument("gettimeofday not implemented"); } #endif |