diff options
Diffstat (limited to 'otherlibs/unix/nice.c')
| -rw-r--r-- | otherlibs/unix/nice.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/unix/nice.c b/otherlibs/unix/nice.c index c9ea81134..068a9101e 100644 --- a/otherlibs/unix/nice.c +++ b/otherlibs/unix/nice.c @@ -22,7 +22,7 @@ #include <sys/time.h> #include <sys/resource.h> -value unix_nice(value incr) /* ML */ +CAMLprim value unix_nice(value incr) { int prio; errno = 0; @@ -37,7 +37,7 @@ value unix_nice(value incr) /* ML */ #else -value unix_nice(value incr) +CAMLprim value unix_nice(value incr) { int ret; errno = 0; |