From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 18 May 2006 19:47:04 +0000 (+0000)
Subject: Wording.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=2fd7bdd665beacb360dc7958d2f7135a6f5a6bfa

Wording.
---

diff --git a/doc/debug.texi b/doc/debug.texi
index e671b74..27d4f26 100644
--- a/doc/debug.texi
+++ b/doc/debug.texi
@@ -115,7 +115,7 @@ sense (e.g.@: function A is listed above function B, but B doesn't
 call A), then it's a good sign that you're corrupting a kernel
 thread's stack, because the backtrace is extracted from the stack.
 Alternatively, it could be that the @file{kernel.o} you passed to
-@command{backtrace} does not correspond to the kernel that produced
+@command{backtrace} is not the same kernel that produced
 the backtrace.
 
 Sometimes backtraces can be confusing without implying corruption.