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

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