X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Fthreads.texi;h=6659732b20fd4d6a1eeb5e1e5fb0388803e50023;hb=2f3628001838a081d81429d658af350c7054078e;hp=7d7526c908e055364ac40110bf8e6f8cfac58832;hpb=29f8918b7dd6764dd6ddb17098e9a4ecaeeea37e;p=pintos-anon

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