X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=model.cc;h=6a79ad4a90f80ff1ee3177511683cd96c67ebb54;hp=557d103bae5f1e2c998abf09fd89d7faaf96d689;hb=34890ed433f2d30ac5c49342e94d3c5e5f47dbfb;hpb=ed73252cff03383a802a9608a97e5234bc90fcc4

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));
 }
 
 /**