X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=waitobj.h;h=36d95796461fa8e73718d9de125762cb5d2c353e;hp=c15fb21f4ad0f17cb968d35a682f57f0e66c1b4e;hb=6ff4cc0d650d6cd126b4ad57692552ab054f76c4;hpb=f54c2d871c2482fd271ffb6969106e37eb6a9263

diff --git a/waitobj.h b/waitobj.h
index c15fb21f..36d95796 100644
--- a/waitobj.h
+++ b/waitobj.h
@@ -18,6 +18,7 @@ public:
 	void add_waiting_for(thread_id_t other, FuncNode * node, int dist);
 	void add_waited_by(thread_id_t other);
 	bool remove_waiting_for_node(thread_id_t other, FuncNode * node);
+	void remove_waiting_for(thread_id_t other);
 	void remove_waited_by(thread_id_t other);
 
 	thrd_id_set_t * getWaitingFor() { return &waiting_for; }
@@ -27,7 +28,6 @@ public:
 	int lookup_dist(thread_id_t tid, FuncNode * target);
 
 	bool incr_counter(thread_id_t tid);
-	// SnapVector<thread_id_t> incr_waiting_for_counter();
 
 	void clear_waiting_for();