1 files changed, 0 insertions, 11 deletions
diff --git a/otherlibs/unix/dup.c b/otherlibs/unix/dup.c
deleted file mode 100644
index 5ee521305b..0000000000
--- a/otherlibs/unix/dup.c
+++ /dev/null
@@ -1,11 +0,0 @@
-#include <mlvalues.h>
-#include "unix.h"
-
-value unix_dup(fd)               /* ML */
-     value fd;
-{
-  int ret;
-  ret = dup(Int_val(fd));
-  if (ret == -1) uerror("dup", Nothing);
-  return Val_int(ret);
-}