mutex: change 'islocked' to hold Thread pointer

[model-checker.git] / include / mutex

diff --git a/include/mutex b/include/mutex
index 482af590068c2f1ae9b4b24637a83c8a9b098a92..bd65a78a57647200dcc7e49a64dabcf3ffd41a4a 100644 (file)
--- a/include/mutex
+++ b/include/mutex
@@ -10,7 +10,7 @@
 
 namespace std {
        struct mutex_state {
-               bool islocked;
+               void *locked; /* Thread holding the lock */
                thread_id_t alloc_tid;
                modelclock_t alloc_clock;
        };