diff options
Diffstat (limited to 'gdb/cli/cli-logging.c')
| -rw-r--r-- | gdb/cli/cli-logging.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gdb/cli/cli-logging.c b/gdb/cli/cli-logging.c index 3b1447a..ce82b77 100644 --- a/gdb/cli/cli-logging.c +++ b/gdb/cli/cli-logging.c @@ -22,8 +22,6 @@ #include "ui-out.h" #include "interps.h" -#include <string.h> - /* These hold the pushed copies of the gdb output files. If NULL then nothing has yet been pushed. */ struct saved_output_files |