# HG changeset patch
# User Stefan Monnier <monnier@iro.umontreal.ca>
# Date 991273472 0
# Node ID f01f454ea6bf13ea20a62104e31f2c2f5b21e335
# Parent  1302dd937a793ad5df74409b4b76c7270d435467
(copy_overlays): Make ENABLE_CHECKING happy.

diff -r 1302dd937a79 -r f01f454ea6bf src/buffer.c
--- a/src/buffer.c	Wed May 30 15:32:04 2001 +0000
+++ b/src/buffer.c	Thu May 31 01:44:32 2001 +0000
@@ -436,13 +436,13 @@
       old_overlay = XCAR (list);
       charpos = marker_position (OVERLAY_START (old_overlay));
       start = Fmake_marker ();
-      Fset_marker (start, charpos, buffer);
+      Fset_marker (start, make_number (charpos), buffer);
       XMARKER (start)->insertion_type
 	= XMARKER (OVERLAY_START (old_overlay))->insertion_type;
 
       charpos = marker_position (OVERLAY_END (old_overlay));
       end = Fmake_marker ();
-      Fset_marker (end, charpos, buffer);
+      Fset_marker (end, make_number (charpos), buffer);
       XMARKER (end)->insertion_type
 	= XMARKER (OVERLAY_END (old_overlay))->insertion_type;