X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mutex.cc;h=da3184e55a074823b2909bc653e1c2ba30b6b067;hb=dd989c16bf4ede61142d79737a8f6568aa153fa2;hp=0bb627d293b03a27d29673b3a95b1b3e136093c2;hpb=11bd7a3e906795b46b1fd20276a28002978bf1ab;p=model-checker.git

diff --git a/mutex.cc b/mutex.cc
index 0bb627d..da3184e 100644
--- 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);