X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2F44bsd.texi;h=b21c48780f0c5811688490e7bf7f45b3a16a8592;hb=ba31dc322ff49cae85dee3d5283bec39b195b319;hp=612aa1c74c51921168a319c2866e2a6b622b5466;hpb=78c011b103d83e3fe0dbf70c395985fe1273ea46;p=pintos-anon

diff --git a/doc/44bsd.texi b/doc/44bsd.texi
index 612aa1c..b21c487 100644
--- a/doc/44bsd.texi
+++ b/doc/44bsd.texi
@@ -55,8 +55,8 @@ they run in ``round robin'' order.
 Multiple facets of the scheduler require data to be updated after a
 certain number of timer ticks.  In every case, these updates should
 occur before any ordinary kernel thread has a chance to run, so that
-there is no chance that a kernel thread could see @func{timer_ticks}
-increased but these old values for these data.
+there is no chance that a kernel thread could see a newly increased
+@func{timer_ticks} value but old scheduler data values.
 
 @menu
 * Thread Niceness::