1 files changed, 0 insertions, 20 deletions
diff --git a/otherlibs/unix/kill.c b/otherlibs/unix/kill.c
deleted file mode 100644
index a552d0931c..0000000000
--- a/otherlibs/unix/kill.c
+++ /dev/null
@@ -1,20 +0,0 @@
-#include <mlvalues.h>
-#include <fail.h>
-#include "unix.h"
-#include <signal.h>
-
-extern int posix_signals[];     /* defined in byterun/signals.c */
-
-value unix_kill(pid, signal)     /* ML */
-     value pid, signal;
-{
-  int sig;
-  sig = Int_val(signal);
-  if (sig < 0) {
-    sig = posix_signals[-sig-1];
-    if (sig == 0) invalid_argument("Unix.kill: unavailable signal");
-  }
-  if (kill(Int_val(pid), sig) == -1)
-    uerror("kill", Nothing);
-  return Val_unit;
-}