From: Brian Norris <banorris@uci.edu>
Date: Thu, 13 Dec 2012 23:31:14 +0000 (-0800)
Subject: model: use helper 'get_thread()'
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c685b2d29f203fd55e6ca2ad5db0f0a06e31aa79;p=cdsspec-compiler.git

model: use helper 'get_thread()'
---

diff --git a/model.cc b/model.cc
index 1d3e0c4..4d6e8af 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);