1 files changed, 0 insertions, 1 deletions
diff --git a/gdb/top.h b/gdb/top.h
index 50361dc..88b7e7a 100644
--- a/gdb/top.h
+++ b/gdb/top.h
@@ -56,7 +56,6 @@ extern char *get_prompt (void);
 extern void set_prompt (char *);
 
 /* From random places.  */
-extern int mapped_symbol_files;
 extern int readnow_symbol_files;
 
 /* Perform _initialize initialization */