diff options
| -rw-r--r-- | gdb/tui/tui-io.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gdb/tui/tui-io.c b/gdb/tui/tui-io.c index f962d7b..e64f0dd 100644 --- a/gdb/tui/tui-io.c +++ b/gdb/tui/tui-io.c @@ -636,7 +636,6 @@ tui_redisplay_readline (void) tui_cmd_win ()->start_line -= height - 1; wrefresh (w); - fflush(stdout); } /* Readline callback to prepare the terminal. It is called once each |