+2019-05-10  Tom Tromey  <tromey@adacore.com>
+
+       * thread.c (print_thread_info): Make "requested_threads" const.
+       * gdbthread.h (print_thread_info): Make "requested_threads"
+       const.
+       * ada-tasks.c (print_ada_task_info): Make "taskno_str" const.
+       * ada-lang.h (print_ada_task_info): Make "taskno_str" const.
+
 2019-05-08  Tom Tromey  <tom@tromey.com>
 
        * gdbtypes.c (objfile_type_data): Change type.
 
 extern const char *ada_get_tcb_types_info (void);
 
 extern void print_ada_task_info (struct ui_out *uiout,
-                                char *taskno_str,
+                                const char *taskno_str,
                                 struct inferior *inf);
 
 #endif
 
 
 void
 print_ada_task_info (struct ui_out *uiout,
-                    char *arg_str,
+                    const char *arg_str,
                     struct inferior *inf)
 {
   struct ada_tasks_inferior_data *data;
 
    all attached PIDs are printed.  If both REQUESTED_THREADS is not
    NULL and PID is not -1, then the thread is printed if it belongs to
    the specified process.  Otherwise, an error is raised.  */
-extern void print_thread_info (struct ui_out *uiout, char *requested_threads,
+extern void print_thread_info (struct ui_out *uiout,
+                              const char *requested_threads,
                               int pid);
 
 /* Save/restore current inferior/thread/frame.  */
 
 /* See gdbthread.h.  */
 
 void
-print_thread_info (struct ui_out *uiout, char *requested_threads, int pid)
+print_thread_info (struct ui_out *uiout, const char *requested_threads,
+                  int pid)
 {
   print_thread_info_1 (uiout, requested_threads, 1, pid, 0);
 }