From a73602c0c480285512ff9f39ed468a91b18cc558 Mon Sep 17 00:00:00 2001
From: Robbert <gitlab-sws@robbertkrebbers.nl>
Date: Sat, 4 Apr 2020 08:47:56 +0200
Subject: [PATCH] Apply suggestion to CHANGELOG.md

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index b05d3f0bf..ddbf57c52 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -100,7 +100,7 @@ Coq development, but not every API-breaking change is listed.  Changes marked
   and rename existing asymmetric lemmas (with a singleton on just the LHS):
   + `singleton_includedN` → `singleton_includedN_l`.
   + `singleton_included` → `singleton_included_l`.
-  + `singleton_included_exclusive_l` → `singleton_included_exclusive`
+  + `singleton_included_exclusive` → `singleton_included_exclusive_l`
 
 **Changes in heap_lang:**
 
-- 
GitLab