1 files changed, 2 insertions, 2 deletions

diff --git a/src/keyboard.h b/src/keyboard.h
index 9fd3b48eba9..7f36691a5a3 100644
--- a/src/keyboard.h
+++ b/src/keyboard.h
@@ -490,6 +490,8 @@ extern unsigned long last_event_timestamp;
 
 extern int quit_char;
 
+extern int timers_run;
+
 extern int parse_menu_item (Lisp_Object, int);
 
 extern void echo_now (void);
@@ -534,5 +536,3 @@ extern int tty_read_avail_input (struct terminal *, int,
                                  struct input_event *);
 extern EMACS_TIME timer_check (int);
 
-/* arch-tag: 769cbade-1ba9-4950-b886-db265b061aa3
-   (do not change this comment) */