X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ftour.texi;h=2e15b38ff525b1b15c8e2246a64d8eaa98f27850;hb=5bac157240fde20a4026e57708702c8ad3e6232b;hp=c1371cfde5760df3df4129a4f5eec6b0c4d3e66e;hpb=2d954fd86cdbdfbbc99429d7ab4248c2e872e151;p=pintos-anon

diff --git a/doc/tour.texi b/doc/tour.texi
index c1371cf..2e15b38 100644
--- a/doc/tour.texi
+++ b/doc/tour.texi
@@ -327,8 +327,8 @@ the page.  @xref{Interrupt Handling}, for more information.
 
 @deftypecv {Member} {@struct{thread}} {int} priority
 A thread priority, ranging from @code{PRI_MIN} (0) to @code{PRI_MAX}
-(63).  Lower numbers correspond to @emph{higher} priorities, so that
-priority 0 is the highest priority and priority 63 is the lowest.
+(63).  Lower numbers correspond to lower priorities, so that
+priority 0 is the lowest priority and priority 63 is the highest.
 Pintos as provided ignores thread priorities, but you will implement
 priority scheduling in project 1 (@pxref{Priority Scheduling}).
 @end deftypecv