# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 795159939 0
# Node ID 84076f6a1f1b8eb71cdd48d123c2fda95d5bb705
# Parent  2c184ff2351d4d981889f94507e6c41cea24029a
(unchain_marker): Allow differing buffers
as long as they have the same text.

diff -r 2c184ff2351d -r 84076f6a1f1b src/marker.c
--- a/src/marker.c	Tue Mar 14 05:43:48 1995 +0000
+++ b/src/marker.c	Tue Mar 14 05:45:39 1995 +0000
@@ -220,8 +220,9 @@
 	      BUF_MARKERS (b) = next;
 	      /* Deleting first marker from the buffer's chain.  Crash
 		 if new first marker in chain does not say it belongs
-		 to the same buffer (or one of its indirect buffers).  */
-	      if (!NILP (next) && b != XMARKER (next)->buffer)
+		 to the same buffer, or at least that they have the same
+		 base buffer.  */
+	      if (!NILP (next) && b->text != XMARKER (next)->buffer->text)
 		abort ();
 	    }
 	  else