From d576d0438d58e9c92e726fbc5dc44f468bd8048d Mon Sep 17 00:00:00 2001
From: Gabriel Dos Reis <gdr@integrable-solutions.net>
Date: Sun, 25 May 2003 20:36:30 +0000
Subject: [PATCH] diagnostic.h (output_verbatim, verbatim): Remove printf
 attribute.

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

From-SVN: r67169
---
 gcc/ChangeLog    | 5 +++++
 gcc/diagnostic.h | 6 ++----
 2 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index dba19746b269..82911fa3ad9c 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 24fe2fe6a2e1..a65dc958a764 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 *, ...));
 
-- 
GitLab