diff --git a/gdb/utils.c b/gdb/utils.c
index bc0cdd05755..8d3a89cf036 100644
--- a/gdb/utils.c
+++ b/gdb/utils.c
@@ -1837,17 +1837,6 @@ fprintf_styled (struct ui_file *stream, const ui_file_style &style,
   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, ...)
 {
diff --git a/gdb/utils.h b/gdb/utils.h
index 71a034935cf..3d057466912 100644
--- a/gdb/utils.h
+++ b/gdb/utils.h
@@ -271,12 +271,6 @@ extern void fprintf_styled (struct ui_file *stream,
 			    ...)
   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.  */