Fix command line

diff --git a/doc/debug.texi b/doc/debug.texi
index f36ae4a8bc30d4d2fd8793bc84fea5a87547c9dc..cf8edc040029784e39feab449277678364e20cb5 100644 (file)
--- 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: