1 files changed, 1 insertions, 1 deletions
diff --git a/CHANGES b/CHANGES
index 234d6c0db..ed4615021 100644
--- a/CHANGES
+++ b/CHANGES
@@ -14,9 +14,9 @@ Vernacular Commands
 Tactic language
 
 - Support for fix/cofix added in Ltac "match" and "lazymatch".
-
 - Ltac backtraces now contain include trace information about tactics
   called by OCaml-defined tactics.
+- Option "Ltac Debug" now applies also to terms built using Ltac functions.
 
 Changes from 8.8+beta1 to 8.8.0
 ===============================