From 34890ed433f2d30ac5c49342e94d3c5e5f47dbfb Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Wed, 3 Apr 2013 09:08:44 -0700
Subject: [PATCH] model: use get_thread() helper

---
 model.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/model.cc b/model.cc
index 557d103..6a79ad4 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));
 }
 
 /**
-- 
2.34.1