# HG changeset patch
# User Dave Love <fx@gnu.org>
# Date 961507336 0
# Node ID 6ddcb068053ddae9d6d1c01b7cdb263c313feffa
# Parent  718b60b51f2e03351b950687953290b3f5b09f3a
(poll_for_input_1): Declare.

diff -r 718b60b51f2e -r 6ddcb068053d src/keyboard.h
--- a/src/keyboard.h	Tue Jun 20 13:17:40 2000 +0000
+++ b/src/keyboard.h	Tue Jun 20 13:22:16 2000 +0000
@@ -331,3 +331,6 @@
 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