MAJ

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2197 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 1 deletions

diff --git a/CHANGES b/CHANGES
index ad84d5d3d6..c6d4d21bbb 100644
--- a/CHANGES
+++ b/CHANGES
@@ -23,7 +23,7 @@ Bugs
 - Confusion between implicit args of locals and globals of same base name fixed
 - NatRing works (to check)
 - "Discriminate 1", "Injection 1", "Simplify_eq 1" now working
-
+- Various incompatibilities wrt inference of "?" in V6.3.1 fixed
 
 ----------------------------------------------------------------------------
 Changes from V6.3.1 and V7.0 to V7.1