From 97079040011f33f89b10b3a6044c51f8a5d16e75 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 17 Mar 2020 19:12:39 +0100
Subject: [PATCH] More CHANGELOG.

---
 CHANGELOG.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index bfeadc3b..2470959c 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -33,7 +33,9 @@ API-breaking change is listed.
 - Add type class `LookupTotal` with total lookup operation `(!!!) : M → K → A`.
   Provide instances for `list`, `fin_map`, and `vec`, as well as corresponding
   lemmas for the operations on these types. The instance for `vec` replaces the
-  ad-hoc `!!!` definition.
+  ad-hoc `!!!` definition. As a consequence, arguments of `!!!` are no longer
+  parsed in `vec_scope` and `fin_scope`, respectively. Moreover, since `!!!`
+  is overloaded, coercions around `!!!` no longer work.
 
 ## std++ 1.2.1 (released 2019-08-29)
 
-- 
GitLab