diff options
Diffstat (limited to 'otherlibs/unix/shutdown.c')
| -rw-r--r-- | otherlibs/unix/shutdown.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/unix/shutdown.c b/otherlibs/unix/shutdown.c index 79326494e..bd37c1e5b 100644 --- a/otherlibs/unix/shutdown.c +++ b/otherlibs/unix/shutdown.c @@ -10,7 +10,7 @@ static int shutdown_command_table[] = { value unix_shutdown(sock, cmd) /* ML */ value sock, cmd; { - if (shutdown(Int_val(sock), shutdown_command_table[Tag_val(cmd)]) == -1) + if (shutdown(Int_val(sock), shutdown_command_table[Int_val(cmd)]) == -1) uerror("shutdown", Nothing); return Val_unit; } |