api.tokens.prefix -> api.token.prefix

[bison.git] / NEWS

diff --git a/NEWS b/NEWS
index d3a860b532202390d07501a7e5f388f33ed81652..29b6b3230ebac5ae128a77d43a9c16496ce6988b 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -195,14 +195,14 @@ GNU Bison NEWS
   used by the scanner, or rejecting invalid combinations from a
   factory invoked by the user actions).
 
-** Variable api.tokens.prefix
+** Variable api.token.prefix
 
-  The variable api.tokens.prefix changes the way tokens are identified in
+  The variable api.token.prefix changes the way tokens are identified in
   the generated files.  This is especially useful to avoid collisions
   with identifiers in the target language.  For instance
 
     %token FILE for ERROR
-    %define api.tokens.prefix "TOK_"
+    %define api.token.prefix "TOK_"
     %%
     start: FILE for ERROR;