From e5ee848ac9180b7074b97f87c4ba057241f2979e Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 19 Apr 2017 09:25:51 +0200
Subject: CHANGES entry for #545.

---
 CHANGES | 1 +
 1 file changed, 1 insertion(+)

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
 
-- 
cgit v1.2.3