- fprintf_filtered (gdb_stdout, " included at %s:%d\n", fullname,
- file->included_at_line);
- xfree (fullname);
+ fputs_filtered (_(" included at "), stream);
+ fputs_styled (fullname.c_str (), file_name_style.style (), stream);
+ fprintf_filtered (stream, ":%d\n", file->included_at_line);