/* UI_FILE - a generic STDIO like output stream.
- Copyright (C) 1999-2018 Free Software Foundation, Inc.
+ Copyright (C) 1999-2019 Free Software Foundation, Inc.
This file is part of GDB.
extern long ui_file_read (struct ui_file *file, char *buf, long length_buf);
+extern int gdb_console_fputs (const char *, FILE *);
+
/* A std::string-based ui_file. Can be used as a scratch buffer for
collecting output. */