# HG changeset patch
# User Kenichi Handa <handa@m17n.org>
# Date 880618540 0
# Node ID f3c322901601419ed6b9a3905c1fb4911176ec3e
# Parent  67bcb068070c62a16dcbe2a6d5ae1102c2d9c47e
(redisplay_preserve_echo_area): Declare it as void.

diff -r 67bcb068070c -r f3c322901601 src/xdisp.c
--- a/src/xdisp.c	Thu Nov 27 08:14:56 1997 +0000
+++ b/src/xdisp.c	Thu Nov 27 08:15:40 1997 +0000
@@ -1379,6 +1379,7 @@
    area to be cleared.  See tracking_off and
    wait_reading_process_input for examples of these situations.  */
 
+void
 redisplay_preserve_echo_area ()
 {
   if (echo_area_glyphs == 0 && previous_echo_glyphs != 0)