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

diff --git a/doc/debug.texi b/doc/debug.texi
index 11d1d7a..bd1aa6a 100644
--- a/doc/debug.texi
+++ b/doc/debug.texi
@@ -170,9 +170,9 @@ The backtrace output would then look something like this:
 0x8048ac8: ?? (??:0)
 @end example
 
-(You will probably not get the same results if you run the command above
-on your own kernel binary, because the source code you compiled from is
-different from the source code that panicked.)
+(You will probably not see exactly the same addresses if you run the
+command above on your own kernel binary, because the source code you
+compiled and the compiler you used are probably different.)
 
 The first line in the backtrace refers to @func{debug_panic}, the
 function that implements kernel panics.  Because backtraces commonly