CHANGES entry for #545.

1 files changed, 1 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 02df8614c6..60b88ea8db 100644
--- a/CHANGES
+++ b/CHANGES
@@ -17,6 +17,7 @@ Tactics
     Most notably, the new implementation recognizes Miller patterns that were
     missed before because of a missing normalization step. Hopefully this should
     be fairly uncommon.
+- "auto with real" can now discharge comparisons of literals
 
 Standard Library