Revert "fix scheduling stuff to get nice round robin scheduler behavior..."

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 7fdc824669588e216017846490751e14d69337eb..ae3788945c7756881178b1657bb215cf5a71901a 100644 (file)
--- 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();