diff options
Diffstat (limited to 'gdb/mi/mi-console.h')
| -rw-r--r-- | gdb/mi/mi-console.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gdb/mi/mi-console.h b/gdb/mi/mi-console.h index fbfa03b..d98a0c8 100644 --- a/gdb/mi/mi-console.h +++ b/gdb/mi/mi-console.h @@ -39,6 +39,8 @@ public: void write (const char *buf, long length_buf) override; + void write_async_safe (const char *buf, long length_buf) override; + private: /* The wrapped raw output stream. */ ui_file *m_raw; |