Remove cleanup from print_mention_exception
authorTom Tromey <tom@tromey.com>
Fri, 10 Nov 2017 21:42:35 +0000 (14:42 -0700)
committerTom Tromey <tom@tromey.com>
Fri, 4 May 2018 18:12:16 +0000 (12:12 -0600)
commit862d101ada6b6e8496e545c0bcd801cf8b9a46c1
tree212154d1a4e1f3cd6c97969c74afc52902d72258
parentcb7de75eb33b2ceda391c903cac5e5ed63933b99
Remove cleanup from print_mention_exception

This removes a cleanup from print_mention_exception by using
string_printf.

ChangeLog
2018-05-04  Tom Tromey  <tom@tromey.com>

* ada-lang.c (print_mention_exception): Use std::string.
gdb/ChangeLog
gdb/ada-lang.c