Fix ARI text for floatformat_from_double
authorTom Tromey <tromey@adacore.com>
Thu, 5 Dec 2019 15:04:42 +0000 (08:04 -0700)
committerTom Tromey <tromey@adacore.com>
Fri, 13 Dec 2019 22:15:31 +0000 (15:15 -0700)
commit8aaaf7577f070c91086533d959ac36a15d1d604f
treedf66aaa03a01d17957d065902ca9dd90db239f00
parentfe56157f92879313e0a6f46eeaee06f71314cc04
Fix ARI text for floatformat_from_double

ARI reports the wrong substitution for floatformat_from_double.
"floatformat_from_doublest" was renamed in 2017.

gdb/ChangeLog
2019-12-13  Tom Tromey  <tromey@adacore.com>

* contrib/ari/gdb_ari.sh: Fix floatformat_from_double text.

Change-Id: Ibf1b194ea509b12ae8bc30ce285c809c96218557
gdb/ChangeLog
gdb/contrib/ari/gdb_ari.sh