X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mutex.cc;h=27e4a080a69de852f57295e46ad34f9e59e84464;hb=ed4c0c4095856c1cfadf14ec868acd487ed88600;hp=0776db8eef5857b34c47bdbf3493194c9672097a;hpb=e8b52d444be1e3fd84ca8d0492356cafb76d71ac;p=c11tester.git

diff --git a/mutex.cc b/mutex.cc
index 0776db8e..27e4a080 100644
--- a/mutex.cc
+++ b/mutex.cc
@@ -19,17 +19,17 @@ mutex::mutex()
 
 void mutex::lock()
 {
-	model->switch_to_master(new ModelAction(ATOMIC_LOCK, std::memory_order_seq_cst, this));
+	model->switch_thread(new ModelAction(ATOMIC_LOCK, std::memory_order_seq_cst, this));
 }
 
 bool mutex::try_lock()
 {
-	return model->switch_to_master(new ModelAction(ATOMIC_TRYLOCK, std::memory_order_seq_cst, this));
+	return model->switch_thread(new ModelAction(ATOMIC_TRYLOCK, std::memory_order_seq_cst, this));
 }
 
 void mutex::unlock()
 {
-	model->switch_to_master(new ModelAction(ATOMIC_UNLOCK, std::memory_order_seq_cst, this));
+	model->switch_thread(new ModelAction(ATOMIC_UNLOCK, std::memory_order_seq_cst, this));
 }
 
 }