X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Fthreads.texi;h=c1519e85a0df8774a0586c1c1a5d8da70ca0df66;hp=f1fd4dffbb0e4061be96b2104680a8f30ce13685;hb=b47827fe69fdc8e486c91e094765cd94f3070086;hpb=567a7ff2266279b928b7fdd6ccba642e61856d88

diff --git a/doc/threads.texi b/doc/threads.texi
index f1fd4df..c1519e8 100644
--- a/doc/threads.texi
+++ b/doc/threads.texi
@@ -633,7 +633,7 @@ does not actually mean that @func{pass} called @func{debug_panic}.  In
 fact, @func{fail} called @func{debug_panic} (via the @func{PANIC}
 macro).  GCC knows that @func{debug_panic} does not return, because it
 is declared @code{NO_RETURN} (@pxref{Function and Parameter
-Attributes}), so it doesn't include any code in @func{pass} to take
+Attributes}), so it doesn't include any code in @func{fail} to take
 control when @func{debug_panic} returns.  This means that the return
 address on the stack looks like it is at the beginning of the function
 that happens to follow @func{fail} in memory, which in this case happens