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