1 files changed, 17 insertions, 4 deletions
diff --git a/NEWS b/NEWS
index 79efc8d8..c14d17f2 100644
--- a/NEWS
+++ b/NEWS
@@ -2,12 +2,10 @@ GNU Bison NEWS
 
 * Noteworthy changes in release ?.? (????-??-??) [?]
 
-** Bug fixes
-
-  Push parsers use YYMALLOC/YYFREE instead of direct calls to malloc/free.
-
 ** Changes
 
+*** A C++ native GLR parser
+
   A new version of the generated C++ GLR parser was added as "glr2.cc". It
   is forked from the existing glr.c/cc parser, with the objective of making
   it a more modern, truly C++ parser (instead of a C++ wrapper around a C
@@ -19,6 +17,21 @@ GNU Bison NEWS
 
   %skeleton "glr2.cc"
 
+*** Counterexamples
+
+  Counterexamples now show the rule numbers:
+
+    exp
+    ↳ 1: "if" exp "then" exp
+                         ↳ 2: "if" exp "then" exp • "else" exp
+
+  instead of
+
+    exp
+    ↳ "if" exp "then" exp
+                      ↳ "if" exp "then" exp • "else" exp
+
+
 * Noteworthy changes in release 3.7.1 (2020-08-02) [stable]
 
 ** Bug fixes