X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mutex.cc;fp=mutex.cc;h=2cf6828af0ac679811d0fe7cac42d57502fe60d9;hb=9ba28a8ef15225525c30c5303c859f64602820a3;hp=b31b20a8ed2f02446fd1c4fbea5965c65b2b6979;hpb=18813c330489a982af8d745450895b0bb4479504;p=model-checker.git

diff --git a/mutex.cc b/mutex.cc
index b31b20a..2cf6828 100644
--- a/mutex.cc
+++ b/mutex.cc
@@ -3,10 +3,8 @@
 
 
 namespace std {
-mutex::mutex() :
-	owner(0), islocked(false)
-{
-
+mutex::mutex() {
+	state.islocked=false;
 }
 	
 void mutex::lock() {