From c685b2d29f203fd55e6ca2ad5db0f0a06e31aa79 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Thu, 13 Dec 2012 15:31:14 -0800 Subject: [PATCH] model: use helper 'get_thread()' --- model.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/model.cc b/model.cc index 1d3e0c49..4d6e8af7 100644 --- 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); -- 2.34.1