diff options
Diffstat (limited to 'gdb/tui/tui-command.h')
| -rw-r--r-- | gdb/tui/tui-command.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/gdb/tui/tui-command.h b/gdb/tui/tui-command.h index 666b8f5..f167d95 100644 --- a/gdb/tui/tui-command.h +++ b/gdb/tui/tui-command.h @@ -62,7 +62,4 @@ tui_cmd_win () return dynamic_cast<tui_cmd_window *> (tui_win_list[CMD_WIN]); } -/* Refresh the command window. */ -extern void tui_refresh_cmd_win (void); - #endif /* TUI_TUI_COMMAND_H */ |