Minor documentation updates

[pintos-anon] / doc / threads.texi

diff --git a/doc/threads.texi b/doc/threads.texi
index c1f3bfcd62c2caf43a0b1cbf1118b0cf8ffdb62f..5a18ec49d9fa2a59b88710121204d7adc63a4833 100644 (file)
--- 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