# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 772795542 0
# Node ID cef2897f2e15433e2443b81eb4739f525971c597
# Parent  6511fd7aaea453f89c4bd4972bec3bf8c2247c7c
(Foverlay_put): Pass redisplay_region a struct buffer *.

diff -r 6511fd7aaea4 -r cef2897f2e15 src/buffer.c
--- a/src/buffer.c	Tue Jun 28 08:36:16 1994 +0000
+++ b/src/buffer.c	Tue Jun 28 09:25:42 1994 +0000
@@ -2130,7 +2130,7 @@
       {
 	/* If actually changing the property, mark redisplay needed.  */
 	if (! NILP (buffer) && !EQ (XCONS (XCONS (tail)->cdr)->car, value))
-	  redisplay_region (buffer,
+	  redisplay_region (XBUFFER (buffer),
 			    marker_position (OVERLAY_START (overlay)),
 			    marker_position (OVERLAY_END   (overlay)));
 
@@ -2139,7 +2139,7 @@
 
   /* Actually changing the property; mark redisplay needed.  */
   if (! NILP (buffer))
-    redisplay_region (buffer,
+    redisplay_region (XBUFFER (buffer),
 		      marker_position (OVERLAY_START (overlay)),
 		      marker_position (OVERLAY_END   (overlay)));