Fix the GDB xsubchartable command.
commita7947cd8742b236b90d054dbaf3e43ab6677ec0b
authorEli Zaretskii <eliz@gnu.org>
Mon, 28 Jul 2014 07:17:22 +0000 (28 10:17 +0300)
committerEli Zaretskii <eliz@gnu.org>
Mon, 28 Jul 2014 07:17:22 +0000 (28 10:17 +0300)
tree5fe9b46adca89e24cabc18e33b24a27a17122d5e
parent768b24eb0e880c0b39e36fd089905cdca572a758
Fix the GDB xsubchartable command.

 src/.gdbinit (xsubchartable): The members 'depth' and 'min_char' are
 now C integers.
src/.gdbinit
src/ChangeLog