diff options
Diffstat (limited to 'otherlibs/win32unix/windir.c')
| -rw-r--r-- | otherlibs/win32unix/windir.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/otherlibs/win32unix/windir.c b/otherlibs/win32unix/windir.c index 8a384764d..d6b863abb 100644 --- a/otherlibs/win32unix/windir.c +++ b/otherlibs/win32unix/windir.c @@ -18,7 +18,7 @@ #include <alloc.h> #include "unixsupport.h" -value win_findfirst(name) /* ML */ +CAMLprim value win_findfirst(name) value name; { int h; @@ -42,7 +42,7 @@ value win_findfirst(name) /* ML */ return v; } -value win_findnext(valh) /* ML */ +CAMLprim value win_findnext(valh) value valh; { int retcode; @@ -53,7 +53,7 @@ value win_findnext(valh) /* ML */ return copy_string(fileinfo.name); } -value win_findclose(valh) /* ML */ +CAMLprim value win_findclose(valh) value valh; { if (_findclose(Int_val(valh)) != 0) uerror("closedir", Nothing); |