diff options
Diffstat (limited to 'otherlibs/win32unix/select.c')
| -rw-r--r-- | otherlibs/win32unix/select.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/win32unix/select.c b/otherlibs/win32unix/select.c index a8e92088b..599667dbb 100644 --- a/otherlibs/win32unix/select.c +++ b/otherlibs/win32unix/select.c @@ -45,7 +45,7 @@ static value fdset_to_fdlist(value fdlist, fd_set *fdset) return res; } -value unix_select(value readfds, value writefds, value exceptfds, value timeout) /* ML */ +CAMLprim value unix_select(value readfds, value writefds, value exceptfds, value timeout) { fd_set read, write, except; double tm; |