From d1d19677ac604441fa65cbff91aad4d174b73cc3 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 29 Apr 2021 13:11:04 +0200
Subject: [PATCH] changelog

---
 CHANGELOG.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 64365e8e..ce595d57 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -17,6 +17,7 @@ API-breaking change is listed.
     (previously, its definition was wrong, since it used `âˆª` instead of `âŠŽ`).
   + Add lemmas for `âˆˆ` and `âˆ‰` specific for multisets, since the set lemmas no
     longer work for multisets.
+- Make `Qc_of_Z'` not an implicit coercion (from `Z` to `Qc`) any more.
 
 ## std++ 1.5.0
 
-- 
GitLab