diff options
Diffstat (limited to 'gdb/ui-file.h')
| -rw-r--r-- | gdb/ui-file.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/ui-file.h b/gdb/ui-file.h index 1df477d..b0bc3f2 100644 --- a/gdb/ui-file.h +++ b/gdb/ui-file.h @@ -100,7 +100,7 @@ public: /* A preallocated null_file stream. */ extern null_file null_stream; -extern void gdb_flush (ui_file *); +extern void ui_file_flush (ui_file *); extern int ui_file_isatty (struct ui_file *); |