Remove more or less meaningless comment.

diff --git a/doc/threads.texi b/doc/threads.texi
index 7d7526c908e055364ac40110bf8e6f8cfac58832..6659732b20fd4d6a1eeb5e1e5fb0388803e50023 100644 (file)
--- 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.
 
 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
 
 @node Problem 1-4 Advanced Scheduler
 @section Problem 1-4: Advanced Scheduler