X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Fdebug.texi;h=529ed0034b2607d2e26a5bc8b6ffc029eb31c1fc;hp=94926131190c3865fcdd9f58adf0804dfc00dc20;hb=1bc4f6f7b325a177e7ddf0d7039cb5c7921dd721;hpb=4053c61636a5ee545c8130bcedea12d77b85de4c

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