1 files changed, 2 insertions, 1 deletions
diff --git a/CHANGES b/CHANGES
index fa1a1a8123..8369a25850 100644
--- a/CHANGES
+++ b/CHANGES
@@ -43,7 +43,8 @@ Tactics
   [ foo | | bar ] stands for [ foo | idtac | bar ]. (doc TODO). 
 - "Tactic Notation" extended to allow notations of tacticals (doc TODO).
 - Added "autorewrite with ... in hyp [using ...]" (doc TODO).
-- Added entry constr_may_eval for tactic extensions (new syntax)
+- Added entry constr_may_eval for tactic extensions (new syntax).
+- Fixed a "fold" bug (non critical and possible source of incompatibilities).
 
 Modules