diff options
Diffstat (limited to 'otherlibs/unix/rewinddir.c')
| -rw-r--r-- | otherlibs/unix/rewinddir.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/unix/rewinddir.c b/otherlibs/unix/rewinddir.c index 38488f2ca..fc59a5bf5 100644 --- a/otherlibs/unix/rewinddir.c +++ b/otherlibs/unix/rewinddir.c @@ -23,7 +23,7 @@ #ifdef HAS_REWINDDIR -value unix_rewinddir(value d) /* ML */ +CAMLprim value unix_rewinddir(value d) { rewinddir((DIR *) d); return Val_unit; @@ -31,7 +31,7 @@ value unix_rewinddir(value d) /* ML */ #else -value unix_rewinddir(value d) +CAMLprim value unix_rewinddir(value d) { invalid_argument("rewinddir not implemented"); } #endif |