In CHANGES, alerting about stronger check on notation level modifiers.

1 files changed, 2 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 1eca0a5185..5f23119d91 100644
--- a/CHANGES
+++ b/CHANGES
@@ -256,6 +256,8 @@ Notations
   or error when this notation is used.
 - More systematic insertion of spaces as a default for printing
   notations ("format" still available to override the default).
+- In notations, a level modifier referring to a non-existent variable is
+  now considered an error rather than silently ignored.
 
 Tools