Implement timedwait

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index 2aa31e9b596d9e46f5b147536134e3648bc9d498..4b2143dc36ab4e303840059dd9ed1f7f22cd2c43 100644 (file)
--- 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);