diff options
Diffstat (limited to 'otherlibs/unix/kill.c')
| -rw-r--r-- | otherlibs/unix/kill.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/otherlibs/unix/kill.c b/otherlibs/unix/kill.c index e117200b7..89b4c37b2 100644 --- a/otherlibs/unix/kill.c +++ b/otherlibs/unix/kill.c @@ -18,8 +18,7 @@ extern int posix_signals[]; /* defined in byterun/signals.c */ -value unix_kill(pid, signal) /* ML */ - value pid, signal; +value unix_kill(value pid, value signal) /* ML */ { int sig; sig = Int_val(signal); |