# HG changeset patch
# User Miles Bader <miles@gnu.org>
# Date 966791413 0
# Node ID d5e13d726a9c3e78a3b79150f0fa4054a6303dc9
# Parent  c007b25bad3ded1d1a33a9acfe3b9806ed781cef
(do_completion): Try again if we rewrite the input string, but no
  completion was done, so that any completion message will be correct.

diff -r c007b25bad3d -r d5e13d726a9c src/minibuf.c
--- a/src/minibuf.c	Sun Aug 20 13:29:38 2000 +0000
+++ b/src/minibuf.c	Sun Aug 20 17:10:13 2000 +0000
@@ -1616,6 +1616,17 @@
     {
       Fdelete_field (make_number (ZV)); /* Some completion happened */
       Finsert (1, &completion);
+
+      if (! completedp)
+	/* The case of the string changed, but that's all.  We're not
+	   sure whether this is a unique completion or not, so try again
+	   using the real case (this shouldn't recurse again, because
+	   the next time try-completion will return either `t' or the
+	   exact string).  */
+	{
+	  UNGCPRO;
+	  return do_completion ();
+	}
     }
 
   /* It did find a match.  Do we match some possibility exactly now? */