1 files changed, 0 insertions, 2 deletions
diff --git a/gdb/exec.c b/gdb/exec.c
index 24048f7..6e4e85b 100644
--- a/gdb/exec.c
+++ b/gdb/exec.c
@@ -72,8 +72,6 @@ static void init_exec_ops (void);
 
 void _initialize_exec (void);
 
-extern int info_verbose;
-
 /* The target vector for executable files.  */
 
 struct target_ops exec_ops;