bug

diff --git a/Robust/src/Runtime/object.c b/Robust/src/Runtime/object.c
index f84e3fe80e0c446ed81b542d7bdb9b9dd6c7826a..00ef12fea2dd481dd7d270288bd56265ae942040 100644 (file)
--- a/Robust/src/Runtime/object.c
+++ b/Robust/src/Runtime/object.c
@@ -94,7 +94,6 @@ void CALL01(___Object______wait____, struct ___Object___ * ___this___) {
 #else
   int self=mythreadid;
 #endif
-  pthread_t self=pthread_self();
   int notifycount=VAR(___this___)->notifycount;
   BARRIER();
   VAR(___this___)->tid=0;