Fix methods

[c11tester.git] / history.h

diff --git a/history.h b/history.h
index 803077693e6ef8edab7ddd0f2552a1e341502708..a718510629bb96b69abb9963da3414f906d49c72 100644 (file)
--- a/history.h
+++ b/history.h
@@ -41,7 +41,7 @@ public:
 
        WaitObj * getWaitObj(thread_id_t tid);
        void add_waiting_thread(thread_id_t self_id, thread_id_t waiting_for_id, int dist);
-       void remove_waiting_thread(thread_id_t self_id, thread_id_t waiting_for_id);
+       void remove_waiting_thread(thread_id_t tid);
 
        SnapVector<inst_act_map_t *> * getThrdInstActMap(uint32_t func_id);