X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;ds=inline;f=model.cc;h=7fdc824669588e216017846490751e14d69337eb;hb=30999f20b8426081e676adfc76d1c4af7b941e8e;hp=ae3788945c7756881178b1657bb215cf5a71901a;hpb=6df4a86031c4831b581e39b093c5fad128bda582;p=model-checker.git

diff --git a/model.cc b/model.cc
index ae37889..7fdc824 100644
--- a/model.cc
+++ b/model.cc
@@ -282,6 +282,8 @@ 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();