X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=sleeps.cc;h=2b70582ddb776ec31ea2087a9d6e9241cf348694;hp=789a101926599809cb032c8e1bde3054f03a0264;hb=7742256df627848c1c375f979f5369a45c92057b;hpb=fcc90758629b11f123081c80bb3c37e7ca2a4608

diff --git a/sleeps.cc b/sleeps.cc
index 789a1019..2b70582d 100644
--- a/sleeps.cc
+++ b/sleeps.cc
@@ -50,7 +50,7 @@ int nanosleep(const struct timespec *rqtp, struct timespec *rmtp)
 		struct timespec currtime;
 		clock_gettime(CLOCK_MONOTONIC, &currtime);
 		uint64_t lcurrtime = currtime.tv_sec * 1000000000 + currtime.tv_nsec;
-		model->switch_to_master(new ModelAction(THREAD_SLEEP, std::memory_order_seq_cst, time, lcurrtime));
+		model->switch_thread(new ModelAction(THREAD_SLEEP, std::memory_order_seq_cst, time, lcurrtime));
 		if (rmtp != NULL) {
 			clock_gettime(CLOCK_MONOTONIC, &currtime);
 			uint64_t lendtime = currtime.tv_sec * 1000000000 + currtime.tv_nsec;