Fixing careless name confusion in CHANGES.

1 files changed, 1 insertions, 1 deletions

diff --git a/CHANGES b/CHANGES
index 8a90f0965f..d463ed3284 100644
--- a/CHANGES
+++ b/CHANGES
@@ -217,7 +217,7 @@ Tactics
   - non-dependent destruct/induction on an hypothesis with premisses in
     an inductive type with indices is fixed
   - residual local definitions are now correctly removed.
-- The replace tactic may now replace variables in parallel.
+- The rename tactic may now replace variables in parallel.
 
 Program