(defaulted_query): Just use the normal query input type when printing the
authorNick Roberts <nickrob@snap.net.nz>
Tue, 11 May 2004 19:19:34 +0000 (19:19 +0000)
committerNick Roberts <nickrob@snap.net.nz>
Tue, 11 May 2004 19:19:34 +0000 (19:19 +0000)
annotations.

gdb/utils.c

index 89fca0694c7ba9877fc3b6f125ef990f48ca89cc..504890ebf154137963c6d1d3de0242ce20b25dd1 100644 (file)
@@ -1388,13 +1388,13 @@ defaulted_query (const char *ctlstr, const char defchar, va_list args)
       gdb_flush (gdb_stdout);
 
       if (annotation_level > 1)
-       printf_filtered ("\n\032\032pre-%cquery\n", defchar);
+       printf_filtered ("\n\032\032pre-query\n");
 
       vfprintf_filtered (gdb_stdout, ctlstr, args);
       printf_filtered ("(%s or %s) ", y_string, n_string);
 
       if (annotation_level > 1)
-       printf_filtered ("\n\032\032%cquery\n", defchar);
+       printf_filtered ("\n\032\032query\n");
 
       wrap_here ("");
       gdb_flush (gdb_stdout);
@@ -1438,7 +1438,7 @@ defaulted_query (const char *ctlstr, const char defchar, va_list args)
     }
 
   if (annotation_level > 1)
-    printf_filtered ("\n\032\032post-%cquery\n", defchar);
+    printf_filtered ("\n\032\032post-query\n");
   return retval;
 }
 \f