| Index: gdb/tui/tui-file.c
|
| diff --git a/gdb/tui/tui-file.c b/gdb/tui/tui-file.c
|
| index 9efba954980fcd17a70bbd12c656c2ca4d06b776..6a0c6e2bdebbadcace8d1a56fa58a6ac5b83d5bd 100644
|
| --- a/gdb/tui/tui-file.c
|
| +++ b/gdb/tui/tui-file.c
|
| @@ -1,5 +1,5 @@
|
| /* UI_FILE - a generic STDIO like output stream.
|
| - Copyright (C) 1999-2001, 2007-2012 Free Software Foundation, Inc.
|
| + Copyright (C) 1999-2013 Free Software Foundation, Inc.
|
|
|
| This file is part of GDB.
|
|
|
| @@ -23,7 +23,7 @@
|
|
|
| #include "tui.h"
|
|
|
| -#include "gdb_string.h"
|
| +#include <string.h>
|
|
|
| /* A ``struct ui_file'' that is compatible with all the legacy
|
| code. */
|
|
|