Nothing calls vfprintf_styled any more, so remove it.
stream->emit_style_escape (ui_file_style ());
}
-/* See utils.h. */
-
-void
-vfprintf_styled (struct ui_file *stream, const ui_file_style &style,
- const char *format, va_list args)
-{
- stream->emit_style_escape (style);
- gdb_vprintf (stream, format, args);
- stream->emit_style_escape (ui_file_style ());
-}
-
void
gdb_printf (const char *format, ...)
{
...)
ATTRIBUTE_PRINTF (3, 4);
-extern void vfprintf_styled (struct ui_file *stream,
- const ui_file_style &style,
- const char *fmt,
- va_list args)
- ATTRIBUTE_PRINTF (3, 0);
-
/* Like gdb_puts, but styles the output according to STYLE, when
appropriate. */