1 files changed, 1 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index a8de063188..065892e5a5 100644
--- a/CHANGES
+++ b/CHANGES
@@ -14,6 +14,7 @@ Specification Language
 - The syntax "x -> y" is now declared at level 99. In particular, it has
   now a lower priority than "<->": "A -> B <-> C" is now "A -> (B <-> C)"
   (possible source of incompatibilities)
+- Slight changes in unification error messages.
 
 Tactics