# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 753433751 0
# Node ID eca469f14d11e548a9011854363f26368e6a2f6c
# Parent  6cc0a08212aa08a305d0b771f78bc5356689a9e7
(Foverlay_put): Don't call redisplay_region if overlay has no buffer.

diff -r 6cc0a08212aa -r eca469f14d11 src/buffer.c
--- a/src/buffer.c	Tue Nov 16 06:53:45 1993 +0000
+++ b/src/buffer.c	Tue Nov 16 07:09:11 1993 +0000
@@ -1865,9 +1865,11 @@
 
   CHECK_OVERLAY (overlay, 0);
 
-  redisplay_region (XMARKER (OVERLAY_START (overlay))->buffer,
-		    marker_position (OVERLAY_START (overlay)),
-		    marker_position (OVERLAY_END   (overlay)));
+  tail = Fmarker_buffer (OVERLAY_START (overlay));
+  if (! NILP (tail))
+    redisplay_region (XMARKER (OVERLAY_START (overlay))->buffer,
+		      marker_position (OVERLAY_START (overlay)),
+		      marker_position (OVERLAY_END   (overlay)));
   
   plist = Fcdr_safe (XCONS (overlay)->cdr);