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. */ |