diff options
Diffstat (limited to 'gdb/top.h')
-rw-r--r-- | gdb/top.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gdb/top.h b/gdb/top.h index 50361dc07ab..88b7e7a6cde 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 */ |