1 files changed, 0 insertions, 11 deletions
diff --git a/otherlibs/unix/sleep.c b/otherlibs/unix/sleep.c
deleted file mode 100644
index 6abc80edfd..0000000000
--- a/otherlibs/unix/sleep.c
+++ /dev/null
@@ -1,11 +0,0 @@
-#include <mlvalues.h>
-#include "unix.h"
-
-value unix_sleep(t)              /* ML */
-     value t;
-{
-  enter_blocking_section();
-  sleep(Int_val(t));
-  leave_blocking_section();
-  return Val_unit;
-}