Index: gdb/tui/tui-layout.c |
diff --git a/gdb/tui/tui-layout.c b/gdb/tui/tui-layout.c |
index 209817f814e5a91f1d5804152dd91f9d492aed20..022678e25f362d4b794250cd2b2b5aac5da3062b 100644 |
--- a/gdb/tui/tui-layout.c |
+++ b/gdb/tui/tui-layout.c |
@@ -1,6 +1,6 @@ |
/* TUI layout window management. |
- Copyright (C) 1998-2004, 2007-2012 Free Software Foundation, Inc. |
+ Copyright (C) 1998-2013 Free Software Foundation, Inc. |
Contributed by Hewlett-Packard Company. |
@@ -38,7 +38,7 @@ |
#include "tui/tui-disasm.h" |
#include "tui/tui-layout.h" |
-#include "gdb_string.h" |
+#include <string.h> |
#include "gdb_curses.h" |
/******************************* |