From: Ben Pfaff Date: Thu, 20 Jan 2005 00:42:59 +0000 (+0000) Subject: Remove more or less meaningless comment. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=5c57af78c2bf3834ade817ade0acc35a160ac0b6 Remove more or less meaningless comment. --- diff --git a/doc/threads.texi b/doc/threads.texi index 7d7526c..6659732 100644 --- a/doc/threads.texi +++ b/doc/threads.texi @@ -557,10 +557,6 @@ implement this fix for semaphores, condition variables, or joins, although you are welcome to do so. However, you do need to implement priority scheduling in all cases. -You may assume a static priority for priority donation, that is, it is -not necessary to ``re-donate'' a thread's priority if it changes -(although you are free to do so). - @node Problem 1-4 Advanced Scheduler @section Problem 1-4: Advanced Scheduler