From 62d366647146650d760b685b88d6ee4295e4a55b Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 4 Nov 2014 21:03:48 +0100
Subject: Fixing careless name confusion in CHANGES.

---
 CHANGES | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 
-- 
cgit v1.2.3