Typo.
[pintos-anon] / doc / debug.texi
index ba53f70e0f4a5a2dce6d9d153558c0fc2624880c..11d1d7a6b4f08c6701475f4941c2a2b12bd67440 100644 (file)
@@ -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::