diff options
| -rw-r--r-- | gdb/tui/tui-command.c | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/gdb/tui/tui-command.c b/gdb/tui/tui-command.c index 59e5955..b0ae8f3 100644 --- a/gdb/tui/tui-command.c +++ b/gdb/tui/tui-command.c @@ -64,9 +64,4 @@ tui_refresh_cmd_win (void) WINDOW *w = TUI_CMD_WIN->handle.get (); tui_wrefresh (w); - - /* FIXME: It's not clear why this is here. - It was present in the original tui_puts code and is kept in order to - not introduce some subtle breakage. */ - fflush (stdout); } |