From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 5 Apr 2006 22:45:50 +0000 (+0000)
Subject: Wordsmithing.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=54456f65bef07bf35a79fe5cb37f48ad18190ed2

Wordsmithing.
---

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