1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/top.c b/gdb/top.c
index e06c5ee..7905b51 100644
--- a/gdb/top.c
+++ b/gdb/top.c
@@ -47,6 +47,7 @@
 #include "python/python.h"
 #include "interps.h"
 #include "observer.h"
+#include "maint.h"
 
 /* readline include files.  */
 #include "readline/readline.h"