(poll_for_input_1): Declare.

diff --git a/src/keyboard.h b/src/keyboard.h
index 0474c0404b7e400aae666c152219f427d68b88f1..f6ac9a56b527c9b7f9382ae70e3050a0cabbfad2 100644 (file)
--- a/src/keyboard.h
+++ b/src/keyboard.h
@@ -331,3 +331,6 @@ extern void timer_start_idle P_ ((void));
 extern void timer_stop_idle P_ ((void));
 extern int lucid_event_type_list_p P_ ((Lisp_Object));
 extern void kbd_buffer_store_event P_ ((struct input_event *));
+#ifdef POLL_FOR_INPUT
+extern void poll_for_input_1 P_ ((void));
+#endif