X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Fthreads.texi;h=fe54d77e82fd53d14c89a0ccef4b88fee8503c29;hb=4d4f7cdae7c29fc7dfcecc16c6a683dd512532cf;hp=ced5ae87aa5ff3e64c4b281851df71920ad6ecbd;hpb=27d056017e9085a699621ce3075eeb11f145c4ba;p=pintos-anon

diff --git a/doc/threads.texi b/doc/threads.texi
index ced5ae8..fe54d77 100644
--- a/doc/threads.texi
+++ b/doc/threads.texi
@@ -511,8 +511,8 @@ 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
-true, when the options are parsed by @func{parse_options}, which happens
-through midway through @func{main}.
+true when the options are parsed by @func{parse_options}, which happens
+midway through @func{main}.
 
 When the 4.4@acronym{BSD} scheduler is enabled, threads no longer
 directly control their own priorities.  The @var{priority} argument to
@@ -547,6 +547,8 @@ modified by the reference solution.
  5 files changed, 440 insertions(+), 29 deletions(-)
 @end verbatim
 
+@file{fixed-point.h} is a new file added by the reference solution.
+
 @item How do I update the @file{Makefile}s when I add a new source file?
 
 @anchor{Adding Source Files}