Make our pthread id starts from 2. Reserve id 1 for main thread

[c11tester.git] / include / mutex.h

diff --git a/include/mutex.h b/include/mutex.h
index 64473b2ae783d1e83313ca5d179128e6c0bb8502..f5894952282be7024867a8880793383f82b8e5f7 100644 (file)
--- a/include/mutex.h
+++ b/include/mutex.h
@@ -14,7 +14,6 @@ struct mutex_state {
        void *locked;   /* Thread holding the lock */
        thread_id_t alloc_tid;
        modelclock_t alloc_clock;
-       int init;       // WL
 };
 
 class mutex {