The following is a patch for gdb/mi 495.  The PR requests changing ui_out_field_core_addr
to use core_addr_to_string().

Ok to commit?

-- Jeff J.

gdb/ChangeLog:

2002-10-21  Jeff Johnston  <jjohnstn@redhat.com>

	* ui-out.c (ui_out_field_core_addr): Change to call core_addr_to_string().