X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Fdebug.texi;h=cf8edc040029784e39feab449277678364e20cb5;hp=f36ae4a8bc30d4d2fd8793bc84fea5a87547c9dc;hb=7a3a3477d2001ebb9b8c73e4785f16d47788f52c;hpb=eb5ba83c314e0074e2b280516e3e30b8626c638f

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: