(redisplay_preserve_echo_area): Declare it as void.

1997-11-27 08:15:40 +00:00
parent c4a4e28fbd
commit 8991bb31f8
1 changed files with 1 additions and 0 deletions
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -1379,6 +1379,7 @@ update:
   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)