# HG changeset patch
# User Pavel Jan���k <Pavel@Janik.cz>
# Date 1005951009 0
# Node ID 7e221442bb45715bcfcd5681d01ba727449fd7f9
# Parent  e72cd74733bb78d50584f106c0627f4cc2a619d0
(clear_waiting_for_input): Remove duplicated prototype.

diff -r e72cd74733bb -r 7e221442bb45 src/keyboard.h
--- a/src/keyboard.h	Fri Nov 16 21:10:58 2001 +0000
+++ b/src/keyboard.h	Fri Nov 16 22:50:09 2001 +0000
@@ -311,7 +311,6 @@
 extern void push_frame_kboard P_ ((struct frame *));
 extern void pop_frame_kboard P_ ((void));
 extern void record_asynch_buffer_change P_ ((void));
-extern void clear_waiting_for_input P_ ((void));
 extern SIGTYPE input_poll_signal P_ ((int));
 extern void start_polling P_ ((void));
 extern void stop_polling P_ ((void));