From 5c57af78c2bf3834ade817ade0acc35a160ac0b6 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Thu, 20 Jan 2005 00:42:59 +0000 Subject: [PATCH] Remove more or less meaningless comment. --- doc/threads.texi | 4 ---- 1 file changed, 4 deletions(-) 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 -- 2.30.2