From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 2 Jan 2005 00:02:05 +0000 (+0000)
Subject: Fix command line
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7a3a3477d2001ebb9b8c73e4785f16d47788f52c;p=pintos-anon

Fix command line
---

diff --git a/doc/debug.texi b/doc/debug.texi
index f36ae4a..cf8edc0 100644
--- a/doc/debug.texi
+++ b/doc/debug.texi
@@ -221,9 +221,8 @@ panicked, you can re-run @command{backtrace} on the user program, like
 so: (typing the command on a single line, of course):
 
 @example
-~/cs140/pintos/src/utils/backtrace grow-too-big 0xc0106eff 0xc01102fb
-0xc010dc22 0xc010cf67 0xc0102319 0xc010325a 0x804812c 0x8048a96
-0x8048ac8
+backtrace grow-too-big 0xc0106eff 0xc01102fb 0xc010dc22 0xc010cf67
+0xc0102319 0xc010325a 0x804812c 0x8048a96 0x8048ac8
 @end example
 
 The results look like this: