1 files changed, 1 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 32a533d14..7ea23eeb7 100644
--- a/CHANGES
+++ b/CHANGES
@@ -41,6 +41,7 @@ Tactics
   such as "x := 5 : Z" (see BZ#148). This could be disabled via
   Unset Omega UseLocalDefs.
 - The tactic "romega" is also aware now of the bodies of context variables.
+- The tactic "zify" resp. "omega with N" is now aware of N.pred.
 - Tactic "decide equality" now able to manage constructors which
   contain proofs.
 - Added tactics reset ltac profile, show ltac profile (and variants)