diff --git a/src/threads/thread.c b/src/threads/thread.c index 1cf40af..79dd339 100644 --- a/src/threads/thread.c +++ b/src/threads/thread.c @@ -395,9 +395,8 @@ thread_set_priority (int new_base_priority) struct thread *t = thread_current (); - int old_base_priority = t->base_priority; - int old_priority = thread_get_priority (); - if (new_base_priority == old_base_priority) + /* If the base priority is unchanged, do nothing. */ + if (new_base_priority == t->base_priority) return; t->base_priority = new_base_priority;