doc: Fix typo.

[pintos-anon] / doc / debug.texi

diff --git a/doc/debug.texi b/doc/debug.texi
index 94926131190c3865fcdd9f58adf0804dfc00dc20..529ed0034b2607d2e26a5bc8b6ffc029eb31c1fc 100644 (file)
--- 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