X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fmutex;h=bd65a78a57647200dcc7e49a64dabcf3ffd41a4a;hb=7921811e8bd7bba2cdd892434a58ec7254ae0f99;hp=31fd7eb1f19ae83ae750a0bbf23f629a3b7d96e3;hpb=a4090d03cc1a5f5bca8f10986d74b76a9bb45371;p=model-checker.git

diff --git a/include/mutex b/include/mutex
index 31fd7eb..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;
 	};
@@ -18,7 +18,7 @@ namespace std {
 	class mutex {
 	public:
 		mutex();
-		~mutex();
+		~mutex() {}
 		void lock();
 		bool try_lock();
 		void unlock();