* main.c (gdb_readline): Avoid printf_filtered, which sets char

position wrong if used for the prompt.
* utils.c (puts_filtered):  Comment:  NOT a puts() replacement!

1 files changed, 4 insertions, 1 deletions

diff --git a/gdb/main.c b/gdb/main.c
index 5433249..924aa90 100644
--- a/gdb/main.c
+++ b/gdb/main.c
@@ -1010,7 +1010,10 @@ gdb_readline (prrompt)
 
   if (prrompt)
     {
-      printf_filtered (prrompt);
+      /* Don't use a _filtered function here.  It causes the assumed
+	 character position to be off, since the newline we read from
+	 the user is not accounted for.  */
+      fputs (prrompt, stdout);
       fflush (stdout);
     }