# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 819565940 0
# Node ID beedfd49bc1b6130f0a0070d784f7b1606cc75f8
# Parent  2e1d9d11e5063e90289849982e22d6c67b1697b8
(read_minibuf): Pass PROPS arg to make_buffer_string.
Let make_buffer_string handle the gap.

diff -r 2e1d9d11e506 -r beedfd49bc1b src/minibuf.c
--- a/src/minibuf.c	Thu Dec 21 17:11:50 1995 +0000
+++ b/src/minibuf.c	Thu Dec 21 17:12:20 1995 +0000
@@ -298,8 +298,10 @@
     }
 
   /* Make minibuffer contents into a string */
-  val = make_buffer_string (1, Z);
+  val = make_buffer_string (1, Z, 1);
+#if 0  /* make_buffer_string should handle the gap.  */
   bcopy (GAP_END_ADDR, XSTRING (val)->data + GPT - BEG, Z - GPT);
+#endif
 
   /* VAL is the string of minibuffer text.  */
   last_minibuf_string = val;