X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Fthreads.texi;h=5a18ec49d9fa2a59b88710121204d7adc63a4833;hb=bffccc54acc0560186b8c38bc4a66897de5158eb;hp=c1f3bfcd62c2caf43a0b1cbf1118b0cf8ffdb62f;hpb=d18533cc294552c39f69781e5a9b04b8882b6364;p=pintos-anon

diff --git a/doc/threads.texi b/doc/threads.texi
index c1f3bfc..5a18ec4 100644
--- a/doc/threads.texi
+++ b/doc/threads.texi
@@ -726,7 +726,7 @@ kernel thread but the first.
 Don't worry about the possibility of timer values overflowing.  Timer
 values are expressed as signed 64-bit numbers, which at 100 ticks per
 second should be good for almost 2,924,712,087 years.  By then, we
-expect Pintos to have been phased out of the @value{coursenumber} curriculum.
+expect Pintos to have been phased out of the Computer Science curriculum.
 @end table
 
 @node Priority Scheduling FAQ