diff options
Diffstat (limited to 'otherlibs/win32unix/shutdown.c')
| -rw-r--r-- | otherlibs/win32unix/shutdown.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/win32unix/shutdown.c b/otherlibs/win32unix/shutdown.c index 4de4b4675..bf1e8c911 100644 --- a/otherlibs/win32unix/shutdown.c +++ b/otherlibs/win32unix/shutdown.c @@ -20,7 +20,7 @@ static int shutdown_command_table[] = { 0, 1, 2 }; -value unix_shutdown(sock, cmd) /* ML */ +CAMLprim value unix_shutdown(sock, cmd) value sock, cmd; { if (shutdown((SOCKET) Handle_val(sock), |