Thread * thread_current(void)
{
ASSERT(model);
- return model->scheduler->get_current_thread();
+ return model->get_current_thread();
}
/**
* @todo We should make the START event always immediately follow the
* CREATE event, so we don't get redundant traces...
*/
-
-void thread_startup() {
+void thread_startup()
+{
Thread * curr_thread = thread_current();
/* Add dummy "start" action, just to create a first clock vector */