1 files changed, 1 insertions, 1 deletions
diff --git a/cmd.h b/cmd.h
index 11844157..f663586c 100644
--- a/cmd.h
+++ b/cmd.h
@@ -36,7 +36,7 @@ extern NODE *get_function(void);
 
 extern int gprintf(FILE *fp, const char *format, ...);
 extern jmp_buf pager_quit_tag;
-extern bool pager_quit_tag_valid;
+extern int pager_quit_tag_valid;
 
 extern bool output_is_tty;
 extern int input_fd;