X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FRuntime%2Fthread.h;fp=Robust%2Fsrc%2FRuntime%2Fthread.h;h=0000000000000000000000000000000000000000;hp=5bb5d19c83e4c66ea31c7c442a34bb9d5d15cc09;hb=refs%2Ftags%2Fbuildscript;hpb=2f2cbbbc9385b82d891fabf62ab7e0c5cf364658

diff --git a/Robust/src/Runtime/thread.h b/Robust/src/Runtime/thread.h
deleted file mode 100644
index 5bb5d19c..00000000
--- a/Robust/src/Runtime/thread.h
+++ /dev/null
@@ -1,20 +0,0 @@
-#ifndef THREAD_H
-#define THREAD_H
-#include "methodheaders.h"
-#include <pthread.h>
-
-extern int threadcount;
-extern pthread_mutex_t gclock;
-extern pthread_mutex_t gclistlock;
-extern pthread_cond_t gccond;
-extern pthread_mutex_t objlock;
-extern pthread_cond_t objcond;
-extern pthread_key_t threadlocks;
-void initthread(struct ___Thread___ * ___this___);
-
-struct locklist {
-  struct locklist * next;
-  struct locklist * prev;
-  struct ___Object___ * object;
-};
-#endif