undefined but unused is a warning

[bison.git] / NEWS

diff --git a/NEWS b/NEWS
index 8f52f80c6fabc3b263de2bfe6532c2b89d3b1ff6..0368c0e1930410580a2385dab89594a46fbec2ee 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -36,18 +36,17 @@ GNU Bison NEWS
     3.28-34: warning: type <type3> is used, but is not associated to any symbol
     4.28-34: warning: type <type4> is used, but is not associated to any symbol
 
-*** Undeclared symbols
+*** Undefined but unused symbols
 
-  Bison used to raise an error for %printer and %destructor directives for
-  undefined symbols.
+  Bison used to raise an error for undefined symbols that are not used in
+  the grammar.  This is now only a warning.
 
     %printer    {} symbol1
     %destructor {} symbol2
+    %type <type>   symbol3
     %%
     exp: "a";
 
-  This is now only a warning.
-
 *** Useless destructors or printers
 
   Bison now warns about useless destructors or printers.  In the following