/* 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.
#define UI_FILE_H
#include <string>
+#include "ui-style.h"
/* The abstract ui_file base class. */
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. */