From b570e389ed7e8765bc61642a94633ce64140c5ed Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 14 Jun 2010 11:53:45 +0000
Subject: Alert on the possible incompatibilties with set_add (see bug 2111)
 which was actually used in the contribs (MiniC).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13134 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 CHANGES | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CHANGES b/CHANGES
index 128b3dafb3..072a298d2d 100644
--- a/CHANGES
+++ b/CHANGES
@@ -191,6 +191,7 @@ Library
   - Definition of Permutation is now in Sorting/Permtation.v
   - Some other light revisions and extensions (possible source
     of incompatibilities solvable by qualifying names accordingly).
+- In ListSet, set_map has been fixed (source of incompatibilities if used).
 - Sorting library:
   - new mergesort of worst-case complexity O(n*ln(n)) made available in 
     Mergesort.v;
-- 
cgit v1.2.3