model: use helper 'get_thread()'

diff --git a/model.cc b/model.cc
index 1d3e0c4901b19095dda5091ba662d1b92f1a5aeb..4d6e8af72b388dedf2502b13d732b9d801365a94 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -255,7 +255,7 @@ Thread * ModelChecker::get_next_thread(ModelAction *curr)
                        node_stack->pop_restofstack(2);
                } else {
                        /* Make a different thread execute for next step */
-                       scheduler->add_sleep(thread_map->get(id_to_int(next->get_tid())));
+                       scheduler->add_sleep(get_thread(next->get_tid()));
                        tid = prevnode->get_next_backtrack();
                        /* Make sure the backtracked thread isn't sleeping. */
                        node_stack->pop_restofstack(1);