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
 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
 @end table
 
 @node Priority Scheduling FAQ