diagnostic.h (output_verbatim, verbatim): Remove printf attribute.

	* diagnostic.h (output_verbatim, verbatim):  Remove  printf
	attribute.

From-SVN: r67169

gcc/ChangeLog

+2003-05-25  Gabriel Dos Reis <gdr@integrable-solutions.net>
+
+	* diagnostic.h (output_verbatim, verbatim):  Remove  printf
+	attribute.  
+
 2003-05-25  Gerald Pfeifer  <pfeifer@dbai.tuwien.ac.at>
 	* doc/contrib.texi (Contributors): Update Kean Johnston.

gcc/diagnostic.h

@@ -327,10 +327,8 @@ extern const char *output_finalize_message PARAMS ((output_buffer *));
 extern void output_clear_message_text	PARAMS ((output_buffer *));
 extern void output_printf		PARAMS ((output_buffer *, const char *,
 						 ...)) ATTRIBUTE_PRINTF_2;
-extern void output_verbatim		PARAMS ((output_buffer *, const char *,
-						 ...)) ATTRIBUTE_PRINTF_2;
-extern void verbatim			PARAMS ((const char *, ...))
-     ATTRIBUTE_PRINTF_1;
+extern void output_verbatim (output_buffer *, const char *, ...);
+extern void verbatim (const char *, ...);
 extern char *file_name_as_prefix	PARAMS ((const char *));
 extern void inform                      PARAMS ((const char *, ...));