1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/defs.h b/gdb/defs.h
index c9a38b6..f12ba36 100644
--- a/gdb/defs.h
+++ b/gdb/defs.h
@@ -314,7 +314,7 @@ struct ui;
 
 extern int input_interactive_p (struct ui *);
 
-extern int info_verbose;
+extern bool info_verbose;
 
 /* From printcmd.c */