From b40a992e75f7c1df1cf186f242efdd0c069c81a5 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Wed, 28 Jul 2021 09:07:49 +0200
Subject: [PATCH] CHANGELOG tweak.

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 42bc8763..889865fa 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -144,7 +144,7 @@ API-breaking change is listed.
 - Add generalized lemma `map_filter_insert` that covers both the True and False
   case. Rename old `map_filter_insert` → `map_filter_insert_True` and
   `map_filter_insert_not_delete` → `map_filter_insert_False`.
-+ Weaken premise of `map_filter_delete_not` to make it consistent with
+- Weaken premise of `map_filter_delete_not` to make it consistent with
   `map_filter_insert_not'`.
 
 The following `sed` script should perform most of the renaming
-- 
GitLab