* i387-tdep.c (i387_print_float_info): Call fputs_filtered instead

of puts_filtered.

gdb/ChangeLog

@@ -1,5 +1,8 @@
 2002-11-03  Mark Kettenis  <kettenis@gnu.org>
 
+	* i387-tdep.c (i387_print_float_info): Call fputs_filtered instead
+	of puts_filtered.
+
 	* i387-tdep.c (i387_print_float_info): Replace calls to
 	register_read and deprecated_read_register_gen with calls to
 	frame_register_read, and make the necessary adjustments to the

gdb/i387-tdep.c

@@ -388,7 +388,7 @@ i387_print_float_info (struct gdbarch *gdbarch, struct ui_file *file,
       fputs_filtered ("\n", file);
     }
 
-  puts_filtered ("\n");
+  fputs_filtered ("\n", file);
 
   print_i387_status_word (fstat, file);
   print_i387_control_word (fctrl, file);