From e58beb05c80140fbc5f1d0646ece48675370fdc7 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 23 Dec 2014 13:54:14 +0100
Subject: Minor modification of CHANGE.

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

diff --git a/CHANGES b/CHANGES
index 56a325937e..536cb6e5af 100644
--- a/CHANGES
+++ b/CHANGES
@@ -213,7 +213,7 @@ Tactics
 - The "refine" tactic now accepts untyped terms built with "uconstr"
   so that terms with holes can be constructed piecewise in Ltac.
 - New bullets --, ++, **, ---, +++, ***, ... made available.
-- The good bullet is suggested sometimes when user gives a wrong one.
+- More informative messages when wrong bullet is used.
 - New tactic "enough", symmetric to "assert", but with subgoals
   swapped, as a more friendly replacement of "cut".
 - In destruct/induction, experimental modifier "!" prefixing the
-- 
cgit v1.2.3