From 52be227830d6c60cb800bd39328b09db3c9b9eee Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 2 Dec 2019 15:22:30 +0100
Subject: [PATCH] add changelog entry

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index c59f48658..e6c1732d3 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -38,6 +38,9 @@ Coq development, but not every API-breaking change is listed.  Changes marked
   explicitly (since TC search is performed less eagerly), and in few cases it is
   needed to unfold definitions explicitly (due to new unification algorithm
   behaving differently).
+* Removed `Core` type class for defining the total core; it is now always
+  defined in terms of the partial core. The only user of this type class was the
+  STS RA.
 
 ## Iris 3.2.0 (released 2019-08-29)
 
-- 
GitLab