[PATCH] gdb/arm-tdep.c: Use filtered output in arm_print_float_info.

[Tom Tromey]

>>>>> "Will" == Will Newton <will.newton@linaro.org> writes:

Will> 2013-11-01  Will Newton  <will.newton@linaro.org>
Will> 	PR gdb/7670
Will> 	* arm-tdep.c (print_fpu_flags): Use filtered output routines.
Will> 	(arm_print_float_info): Likewise.

This is ok, thanks.

Tom