show_observer_debug (struct ui_file *file, int from_tty,
struct cmd_list_element *c, const char *value)
{
- fprintf_filtered (file, _("Observer debugging is %s.\n"), value);
+ gdb_printf (file, _("Observer debugging is %s.\n"), value);
}
void _initialize_observer ();