diff options
Diffstat (limited to 'threads/thread.c')
| -rw-r--r-- | threads/thread.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/threads/thread.c b/threads/thread.c index 358d3a1..61ab5d9 100644 --- a/threads/thread.c +++ b/threads/thread.c | |||
| @@ -380,6 +380,7 @@ void | |||
| 380 | thread_other_set_priority (struct thread *t, int new_priority) | 380 | thread_other_set_priority (struct thread *t, int new_priority) |
| 381 | { | 381 | { |
| 382 | ASSERT (is_thread (t)); | 382 | ASSERT (is_thread (t)); |
| 383 | ASSERT (new_priority >= PRI_MIN && new_priority <= PRI_MAX); | ||
| 383 | 384 | ||
| 384 | if (t->priority == new_priority) | 385 | if (t->priority == new_priority) |
| 385 | return; | 386 | return; |
