diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index dba19746b2695a08e1a43e74279ae406dd49bdfb..82911fa3ad9cec964e41b6dd2ca063950acec395 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+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.
diff --git a/gcc/diagnostic.h b/gcc/diagnostic.h
index 24fe2fe6a2e165d7b9102fa7b9fe3664df63800f..a65dc958a76493258ce59d4ade74d452326b37fd 100644
--- a/gcc/diagnostic.h
+++ b/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 *, ...));