From ef77beea476bd0d9f2e21e47e0f4bb038433a248 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 11 Apr 2011 21:38:30 +0000
Subject: [PATCH] bug

---
 Robust/src/Runtime/object.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Robust/src/Runtime/object.c b/Robust/src/Runtime/object.c
index f84e3fe8..00ef12fe 100644
--- 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;
-- 
2.34.1