X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdebug.texi;fp=doc%2Fdebug.texi;h=11d1d7a6b4f08c6701475f4941c2a2b12bd67440;hb=5eb8405854480419c57bb8f58b69755958dafb1e;hp=ba53f70e0f4a5a2dce6d9d153558c0fc2624880c;hpb=671e57c95432c2852a576ab6c85f4a254ec93a83;p=pintos-anon

diff --git a/doc/debug.texi b/doc/debug.texi
index ba53f70..11d1d7a 100644
--- a/doc/debug.texi
+++ b/doc/debug.texi
@@ -127,7 +127,7 @@ optimize such that an unrelated function C appears in the backtrace
 instead of A.  Function C is simply the function that happens to be in
 memory just after A.  In the threads project, this is commonly seen in
 backtraces for test failures; see @ref{The pass function fails, ,
-@func{pass} Fails}), for more information.
+@func{pass} Fails}, for more information.
 
 @menu
 * Backtrace Example::