X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;fp=model.cc;h=4b2143dc36ab4e303840059dd9ed1f7f22cd2c43;hb=3f376daab54b640efb30700f83bc3ab1cfb88848;hp=2aa31e9b596d9e46f5b147536134e3648bc9d498;hpb=ab6885beecafb5ae9103845c03a6e72ddacd79ec;p=c11tester.git

diff --git a/model.cc b/model.cc
index 2aa31e9b..4b2143dc 100644
--- a/model.cc
+++ b/model.cc
@@ -385,7 +385,7 @@ Thread* ModelChecker::getNextThread(Thread *old)
 		}
 
 		ModelAction *act = thr->get_pending();
-		if (act && execution->is_enabled(tid)){
+		if (act && scheduler->is_enabled(tid)){
 			/* Don't schedule threads which should be disabled */
 			if (!execution->check_action_enabled(act)) {
 				scheduler->sleep(thr);