X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=threads.cc;h=fc5c84a160296f12f7b3c39db3a84c898bafee9f;hp=3d6b0863234273684de989ce7dd199e9f1931a72;hb=b1973d1489912939fb31e02a1c739bfa42cbc98c;hpb=c4f504bb8deb86c8e2b06cb8ddaec5d92ec17e9d

diff --git a/threads.cc b/threads.cc
index 3d6b0863..fc5c84a1 100644
--- a/threads.cc
+++ b/threads.cc
@@ -60,7 +60,7 @@ Thread * thread_current(void)
 }
 
 void modelexit() {
-	model->switch_thread(new ModelAction(THREAD_FINISH, std::memory_order_seq_cst, thread_current()));
+	model->switch_to_master(new ModelAction(THREAD_FINISH, std::memory_order_seq_cst, thread_current()));
 }
 
 void initMainThread() {