From: Farshad Ghanei <farshadg@buffalo.edu>
Date: Wed, 14 Feb 2018 00:45:37 +0000 (-0500)
Subject: doc: Fix typo.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=1bc4f6f7b325a177e7ddf0d7039cb5c7921dd721

doc: Fix typo.

Fixed a type in the Guide, Section E.5 , Subsection E.5.1 Using GDB,
---

diff --git a/doc/debug.texi b/doc/debug.texi
index 9492613..529ed00 100644
--- a/doc/debug.texi
+++ b/doc/debug.texi
@@ -351,13 +351,13 @@ Attach debugger to a waiting pintos process on the same machine.
 Shorthand for @code{target remote localhost:1234}.
 @end deffn
 
-@deffn {GDB Macro} dumplist list type element
+@deffn {GDB Macro} dumplist &list type element
 Prints the elements of @var{list}, which should be a @code{struct} list
 that contains elements of the given @var{type} (without the word
 @code{struct}) in which @var{element} is the @struct{list_elem} member
 that links the elements.
 
-Example: @code{dumplist all_list thread allelem} prints all elements of
+Example: @code{dumplist &all_list thread allelem} prints all elements of
 @struct{thread} that are linked in @code{struct list all_list} using the
 @code{struct list_elem allelem} which is part of @struct{thread}.
 @end deffn