diff options
Diffstat (limited to 'gdb/tui/tuiIO.h')
-rw-r--r-- | gdb/tui/tuiIO.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/tui/tuiIO.h b/gdb/tui/tuiIO.h index adb7b15da19..a1fe6a098ef 100644 --- a/gdb/tui/tuiIO.h +++ b/gdb/tui/tuiIO.h @@ -7,7 +7,7 @@ #include <stdio.h> -extern void tuiPuts_unfiltered PARAMS ((const char *, GDB_FILE *)); +extern void tuiPuts_unfiltered (const char *, struct ui_file *); extern unsigned int tuiGetc PARAMS ((void)); extern unsigned int tuiBufferGetc PARAMS ((void)); extern int tuiRead PARAMS ((int, char *, int)); |