X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=model.cc;h=cec59d52a5579ba651ec2f97cacd689d87da34fe;hp=24eb83dbbc6515cb4c24730e27ee94c4c949afbe;hb=dc9c89654982c64264dfee7b1ea23e9a5e88e18e;hpb=0997f5bf1b28a79066ed4abfed57f14419ee44d3

diff --git a/model.cc b/model.cc
index 24eb83d..cec59d5 100644
--- a/model.cc
+++ b/model.cc
@@ -282,8 +282,6 @@ Thread * ModelChecker::get_next_thread(ModelAction *curr)
 				earliest_diverge = prevnode->get_action();
 			}
 		}
-		/* Start the round robin scheduler from this thread id */
-		scheduler->set_scheduler_thread(tid);
 		/* The correct sleep set is in the parent node. */
 		execute_sleep_set();