Index: gdb/tui/tui-command.c |
diff --git a/gdb/tui/tui-command.c b/gdb/tui/tui-command.c |
index 24aff981da6cb65dac01409324910f38c3f0c0f6..4e9ecb4a86ca0ba15f31c64883b4d1d8801f8d57 100644 |
--- a/gdb/tui/tui-command.c |
+++ b/gdb/tui/tui-command.c |
@@ -1,6 +1,6 @@ |
/* Specific command window processing. |
- Copyright (C) 1998-2005, 2007-2012 Free Software Foundation, Inc. |
+ Copyright (C) 1998-2013 Free Software Foundation, Inc. |
Contributed by Hewlett-Packard Company. |
@@ -28,7 +28,7 @@ |
#include "tui/tui-command.h" |
#include "gdb_curses.h" |
-#include "gdb_string.h" |
+#include <string.h> |
/***************************************** |