From f0f9f3b67ec5a40ac51f4c8d8df23be89bc4913c Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 27 Nov 2020 14:45:05 +0100
Subject: [PATCH] forgot to add a changelog entry

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 8bf8c11d6..82bbf7a70 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -142,6 +142,8 @@ HeapLang, which is now in a separate package `coq-iris-heap-lang`.
 * `wp_strong_adequacy` now applies to an initial state with multiple
   threads instead of only a single thread. The derived adequacy lemmas
   are unchanged.
+* `pure_exec_fill` is no longer registered as an instance for `PureExec`, to
+  avoid TC search attempting to apply this instance all the time.
 
 **Changes in `heap_lang`:**
 
-- 
GitLab