1 files changed, 1 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index b6af48c608..aa4f348273 100644
--- a/CHANGES
+++ b/CHANGES
@@ -100,6 +100,7 @@ Tactics
   Intro naming strategy (exceptional source of incompatibilities)
 - LinearIntuition (* no documentation *)
 - Unfold expects a correct evaluable argument
+- Clear expects existing hypotheses
 
 Miscellaneous