X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Fthreads.texi;h=cbcda160631b2c918c23d9d81e9ce4277a10be23;hp=f8cd04e704e2ccf1b83ddda41e4e27ab4e2b49fd;hb=d4c30c6a386fe850e7eed1025e459fbc82a0b6e2;hpb=17102846d22591590c37548f8514067e2be6c5f6

diff --git a/doc/threads.texi b/doc/threads.texi
index f8cd04e..cbcda16 100644
--- a/doc/threads.texi
+++ b/doc/threads.texi
@@ -522,7 +522,7 @@ policy at Pintos startup time.  By default, the priority scheduler
 must be active, but we must be able to choose the 4.4@acronym{BSD}
 scheduler
 with the @option{-mlfqs} kernel option.  Passing this
-option sets @code{enable_mlfqs}, declared in @file{threads/init.h}, to
+option sets @code{thread_mlfqs}, declared in @file{threads/thread.h}, to
 true when the options are parsed by @func{parse_options}, which happens
 midway through @func{main}.