From: Brian Norris <banorris@uci.edu>
Date: Wed, 3 Apr 2013 16:08:44 +0000 (-0700)
Subject: model: use get_thread() helper
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=34890ed433f2d30ac5c49342e94d3c5e5f47dbfb;p=c11tester.git

model: use get_thread() helper
---

diff --git a/model.cc b/model.cc
index 557d103b..6a79ad4a 100644
--- a/model.cc
+++ b/model.cc
@@ -286,7 +286,7 @@ Thread * ModelChecker::get_next_thread()
 	}
 	DEBUG("*** ModelChecker chose next thread = %d ***\n", id_to_int(tid));
 	ASSERT(tid != THREAD_ID_T_NONE);
-	return thread_map->get(id_to_int(tid));
+	return get_thread(id_to_int(tid));
 }
 
 /**