From c685b2d29f203fd55e6ca2ad5db0f0a06e31aa79 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
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