maint: update gnu-web-doc-update.

[bison.git] / src / reduce.c

diff --git a/src/reduce.c b/src/reduce.c
index 733cd08c739a4684523dd0e8e87172da23f8eec1..5338393c312be029a027ec3dc1cef1d04a97a77d 100644 (file)
--- a/src/reduce.c
+++ b/src/reduce.c
@@ -1,6 +1,6 @@
 /* Grammar reduction for Bison.
 
 /* Grammar reduction for Bison.
 

-   Copyright (C) 1988-1989, 2000-2003, 2005-2010 Free Software
+   Copyright (C) 1988-1989, 2000-2003, 2005-2012 Free Software

    Foundation, Inc.
 
    This file is part of Bison, the GNU Compiler Compiler.
    Foundation, Inc.
 
    This file is part of Bison, the GNU Compiler Compiler.


@@ -29,7 +29,6 @@
 #include "system.h"
 
 #include <bitset.h>
 #include "system.h"
 
 #include <bitset.h>

-#include <quotearg.h>

 
 #include "complain.h"
 #include "files.h"
 
 #include "complain.h"
 #include "files.h"


@@ -383,23 +382,15 @@ static void
 reduce_print (void)
 {
   if (nuseless_nonterminals > 0)
 reduce_print (void)
 {
   if (nuseless_nonterminals > 0)

-    {
-      fprintf (stderr, "%s: %s: ", grammar_file, _("warning"));
-      fprintf (stderr, ngettext ("%d nonterminal useless in grammar",
-                                 "%d nonterminals useless in grammar",
-                                 nuseless_nonterminals),
-               nuseless_nonterminals);
-      fprintf (stderr, "\n");
-    }
+    warn (ngettext ("%d nonterminal useless in grammar",
+                    "%d nonterminals useless in grammar",
+                    nuseless_nonterminals),
+          nuseless_nonterminals);

   if (nuseless_productions > 0)
   if (nuseless_productions > 0)

-    {
-      fprintf (stderr, "%s: %s: ", grammar_file, _("warning"));
-      fprintf (stderr, ngettext ("%d rule useless in grammar",
-                                 "%d rules useless in grammar",
-                                 nuseless_productions),
-               nuseless_productions);
-      fprintf (stderr, "\n");
-    }
+    warn (ngettext ("%d rule useless in grammar",
+                    "%d rules useless in grammar",
+                    nuseless_productions),
+          nuseless_productions);

 }
 \f
 void
 }
 \f
 void