diff options
Diffstat (limited to 'gdb/mi/gdbmi.texinfo')
-rw-r--r-- | gdb/mi/gdbmi.texinfo | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/mi/gdbmi.texinfo b/gdb/mi/gdbmi.texinfo index 4cf34c24918..8326bcab00b 100644 --- a/gdb/mi/gdbmi.texinfo +++ b/gdb/mi/gdbmi.texinfo @@ -3756,8 +3756,8 @@ Returns the number of children of a variable object @var{name}: Returns a list of the children of the specified variable object: @example - numchild=@var{n},children=@{@{name=@var{name}, - numchild=@var{n},type=@var{type}@},@r{(repeats N times)}@} + numchild=@var{n},children=[@{name=@var{name}, + numchild=@var{n},type=@var{type}@},@r{(repeats N times)}] @end example |