From 9c125edf80673a55e559d9665e1205eb1a778266 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 23 Jan 2025 07:10:32 -0700
Subject: [PATCH] fix changelog position for lookup_total_fmap

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 2d5060f6..222e13e8 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -4,6 +4,7 @@ API-breaking change is listed.
 ## std++ master
 
 - Add `disj_union_list` and associated lemmas for `gmultiset`. (by Marijn van Wezel)
+- Add lemma `lookup_total_fmap`.
 
 ## std++ 1.11.0 (2024-10-30)
 
@@ -210,7 +211,6 @@ Pierre Roux, and Thibaut PÃ©rami. Thanks a lot to everyone involved!
   `stdpp.unstable.bitvector_tactics` to `stdpp.bitvector.tactics`. The
   complete library can be imported with `stdpp.bitvector.bitvector`.
   (by Michael Sammler)
-- Add lemma `lookup_total_fmap`.
 
 The following `sed` script should perform most of the renaming
 (on macOS, replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`).
-- 
GitLab