tree a16c1cce4eec5f386703f3587a2c26a020c5a494
parent fb6262e8534e0148a4a424e9e5138159af19faf1
author Tom Tromey <tom@tromey.com> 1624813564 -0600
committer Tom Tromey <tom@tromey.com> 1627656159 -0600

Replace exception_print_same with operator!=

I noticed that exception_print_same is only used in a single spot, and
it seemed to be better as an operator!= method attached to
gdb_exception.

Regression tested on x86-64 Fedora 34.