# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 889824125 0
# Node ID 43ed5912d7e0c938be71a1b550516021bf965e67
# Parent  bbbd345f54de803886cd5c837e62db701512be3f
(internal_self_insert): Call Fforward_buffer to advance
over the replacement characters.

diff -r bbbd345f54de -r 43ed5912d7e0 src/cmds.c
--- a/src/cmds.c	Thu Mar 12 23:11:57 1998 +0000
+++ b/src/cmds.c	Fri Mar 13 21:22:05 1998 +0000
@@ -456,8 +456,7 @@
 	}
 
       replace_range (PT, PT + chars_to_delete, string, 1, 1);
-      SET_PT_BOTH (PT + 1 + spaces_to_insert,
-		   PT_BYTE + XSTRING (string)->size);
+      Fforward_char (make_number (1 + spaces_to_insert));
     }
   else
     insert_and_inherit (str, len);