# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 772223145 0
# Node ID 7f68b0db826f5972bcfce363ca685d5725a7cb39
# Parent  c5b7f74b5023c1b7b0afbe7e46617f67c5baf141
(Fmove_overlay): Add missing XINT calls in previous change.

diff -r c5b7f74b5023 -r 7f68b0db826f src/buffer.c
--- a/src/buffer.c	Tue Jun 21 17:52:18 1994 +0000
+++ b/src/buffer.c	Tue Jun 21 18:25:45 1994 +0000
@@ -1861,7 +1861,7 @@
 	}
 
       /* Redisplay where the overlay is going to be.  */
-      redisplay_region (ob, beg, end);
+      redisplay_region (ob, XINT (beg), XINT (end));
 
       /* Don't limit redisplay to the selected window.  */
       windows_or_buffers_changed = 1;