enum command_control_type
execute_control_command PARAMS ((struct command_line *));
-void print_command_line PARAMS ((struct command_line *, unsigned int));
+extern void
+print_command_line PARAMS ((struct command_line *, unsigned int, GDB_FILE *));
extern char **noop_completer PARAMS ((char *, char *));