Pass correct name to @value in gdb.texinfo
authorTom Tromey <tromey@adacore.com>
Wed, 31 May 2023 14:28:01 +0000 (08:28 -0600)
committerTom Tromey <tromey@adacore.com>
Wed, 31 May 2023 14:28:01 +0000 (08:28 -0600)
commit20fcd1747993127c648b9a3ad393a6caa3a025ba
tree87ddc8af5668e950653bf3cd0e08bc7f769ad79e
parent0b1cae3530601b0e5e16bb10cebafa69c43a3d09
Pass correct name to @value in gdb.texinfo

I noticed a couple instance of this warning when rebuilding the gdb
info files:

    warning: undefined flag: GDB

The problem is that the wrong argument was passed to @value.  This
patch fixes the problem.
gdb/doc/gdb.texinfo