1 files changed, 1 insertions, 1 deletions
diff --git a/CHANGES b/CHANGES
index 0315275b1e..d19cf2b095 100644
--- a/CHANGES
+++ b/CHANGES
@@ -41,7 +41,7 @@ Incompatibilities
 
 - Ring: exceptional incompatibilities
      (1 above 650 in submitted user contribs, leading to a simplification)
-- Intuition: ??
+- Intuition: does not unfold any definition except "<->" and "~".
 
 
 Changes from V7.1 to V7.2