(redisplay_preserve_echo_area): Fix last change.

diff --git a/src/xdisp.c b/src/xdisp.c
index fa4ddc3eb4dafb7ce246bad65b32823170f4e013..cea16dcbcb55cf80b1f26e896ae85c00b7aab8fe 100644 (file)
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -10408,7 +10408,7 @@ redisplay_preserve_echo_area (from_where)
   else
     redisplay_internal (1);
 
-  if (rif->flush_display_optional)
+  if (rif != NULL && rif->flush_display_optional)
     rif->flush_display_optional (NULL);
 }