mutex: change 'islocked' to hold Thread pointer

[model-checker.git] / mutex.cc

diff --git a/mutex.cc b/mutex.cc
index 0bb627d293b03a27d29673b3a95b1b3e136093c2..da3184e55a074823b2909bc653e1c2ba30b6b067 100644 (file)
--- a/mutex.cc
+++ b/mutex.cc
@@ -9,7 +9,7 @@ namespace std {
 
 mutex::mutex()
 {
-       state.islocked = false;
+       state.locked = NULL;
        thread_id_t tid = thread_current()->get_id();
        state.alloc_tid = tid;
        state.alloc_clock = model->get_cv(tid)->getClock(tid);