X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fthreads%2Fpriority-donate-nest.c;h=1d145f393f720a0dd593378814ebc17dafa20979;hb=b8ac41bfd566e33c8736d0024bd0bb3f1287f819;hp=d391233dc0c3b58cc8689752734beeaed2d2a603;hpb=3565288c68d89554939dd594717c7a196b6a9f81;p=pintos-anon diff --git a/grading/threads/priority-donate-nest.c b/grading/threads/priority-donate-nest.c index d391233..1d145f3 100644 --- a/grading/threads/priority-donate-nest.c +++ b/grading/threads/priority-donate-nest.c @@ -78,7 +78,7 @@ medium_thread_func (void *locks_) lock_acquire (locks->b); lock_acquire (locks->a); - printf (" 3. Medium thread should have priority %d. Actual priority: %d\n", + printf (" 3. Medium thread should have priority %d. Actual priority: %d.\n", PRI_DEFAULT + 2, thread_get_priority ()); printf (" 4. Medium thread got the lock.\n");