diff options
Diffstat (limited to 'otherlibs/unix/readlink.c')
| -rw-r--r-- | otherlibs/unix/readlink.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/unix/readlink.c b/otherlibs/unix/readlink.c index 4bccff407..e843b571d 100644 --- a/otherlibs/unix/readlink.c +++ b/otherlibs/unix/readlink.c @@ -28,7 +28,7 @@ #endif #endif -value unix_readlink(value path) /* ML */ +CAMLprim value unix_readlink(value path) { char buffer[PATH_MAX]; int len; @@ -40,7 +40,7 @@ value unix_readlink(value path) /* ML */ #else -value unix_readlink(value path) +CAMLprim value unix_readlink(value path) { invalid_argument("readlink not implemented"); } #endif |