X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fmutex;fp=include%2Fmutex;h=bd65a78a57647200dcc7e49a64dabcf3ffd41a4a;hb=d3f4056998c5b286c3102be270a863fa88a1bfd5;hp=482af590068c2f1ae9b4b24637a83c8a9b098a92;hpb=db5cad55a147218984ef544439ee8a936303ddf8;p=model-checker.git

diff --git a/include/mutex b/include/mutex
index 482af59..bd65a78 100644
--- 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;
 	};