X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fthreads.texi;h=5a18ec49d9fa2a59b88710121204d7adc63a4833;hb=fd2a5afa946474ba0839de0e9da238dbaecbd6a5;hp=c1f3bfcd62c2caf43a0b1cbf1118b0cf8ffdb62f;hpb=a03618133f7df0954802a470a4bee7674f7aed45;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