1 files changed, 0 insertions, 23 deletions
diff --git a/pfinet/linux/wait.h b/pfinet/linux/wait.h
deleted file mode 100644
index 15759ad2..00000000
--- a/pfinet/linux/wait.h
+++ /dev/null
@@ -1,23 +0,0 @@
-#ifndef _HACK_WAIT_H_
-#define _HACK_WAIT_H_
-
-#include <cthreads.h>
-
-struct wait_queue
-{
-  struct condition c;
-};
-
-struct select_table_elt
-{
-  struct condition *dependent_condition;
-  struct select_table_elt *next;
-};
-
-typedef struct select_table_struct
-{
-  struct condition master_condition;
-  struct select_table_elt *head;
-} select_table;
-
-#endif