|
From: <sv...@va...> - 2008-02-24 18:27:16
|
Author: bart Date: 2008-02-24 18:27:11 +0000 (Sun, 24 Feb 2008) New Revision: 7444 Log: Minor change: renamed one variable. Modified: trunk/exp-drd/drd_mutex.h Modified: trunk/exp-drd/drd_mutex.h =================================================================== --- trunk/exp-drd/drd_mutex.h 2008-02-24 18:26:46 UTC (rev 7443) +++ trunk/exp-drd/drd_mutex.h 2008-02-24 18:27:11 UTC (rev 7444) @@ -52,7 +52,7 @@ Bool mutex_is_locked_by(const Addr mutex, const DrdThreadId tid); const VectorClock* mutex_get_last_vc(const Addr mutex); int mutex_get_recursion_count(const Addr mutex); -void mutex_thread_delete(const DrdThreadId threadid); +void mutex_thread_delete(const DrdThreadId tid); void mutex_stop_using_mem(const Addr a1, const Addr a2); ULong get_mutex_lock_count(void); |