# HG changeset patch
# User Kim F. Storm <storm@cua.dk>
# Date 1097658437 0
# Node ID 232db85e3b89185692e2a9b7fb371167a1498016
# Parent  cf7ca20f843a79cf3d0899835e0a82d04da10811
(redisplay_preserve_echo_area): Fix last change.

diff -r cf7ca20f843a -r 232db85e3b89 src/xdisp.c
--- a/src/xdisp.c	Wed Oct 13 09:06:59 2004 +0000
+++ b/src/xdisp.c	Wed Oct 13 09:07:17 2004 +0000
@@ -10408,7 +10408,7 @@
   else
     redisplay_internal (1);
 
-  if (rif->flush_display_optional)
+  if (rif != NULL && rif->flush_display_optional)
     rif->flush_display_optional (NULL);
 }