show_pymicmd_debug (struct ui_file *file, int from_tty,
struct cmd_list_element *c, const char *value)
{
- fprintf_filtered (file, _("Python MI command debugging is %s.\n"), value);
+ gdb_printf (file, _("Python MI command debugging is %s.\n"), value);
}
/* Print a "py-micmd" debug statement. */