1 files changed, 0 insertions, 1 deletions
diff --git a/gdb/top.c b/gdb/top.c
index af27fcb..ed10934 100644
--- a/gdb/top.c
+++ b/gdb/top.c
@@ -41,7 +41,6 @@
 #include "top.h"
 #include "version.h"
 #include "serial.h"
-#include "doublest.h"
 #include "main.h"
 #include "event-loop.h"
 #include "gdbthread.h"