From 24074da34b625a7ad19915757d8d9ab6f5079179 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Thu, 11 Aug 2022 11:56:43 +0200
Subject: [PATCH] CHANGELOG fix.

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 027e79b7..da57df1e 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -39,6 +39,8 @@ Coq 8.11 is no longer supported.
   to `stdpp`.
 - Add an unstable `bitblast` tactic for solving equalities between integers
   involving bitwise operations. (by Michael Sammler)
+- Add the bind operation `set_bind` for finite sets. (by Dan Frumin and Paolo G.
+  Giarrusso)
 
 The following `sed` script should perform most of the renaming
 (on macOS, replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`).
@@ -50,8 +52,6 @@ s/\bmap_disjoint_subset\b/kmap_subset/g
 s/\blookup_union_l\b/lookup_union_l'/g
 EOF
 ```
-- Add the bind operation `set_bind` for finite sets. (by Dan Frumin and Paolo G.
-  Giarrusso)
 
 ## std++ 1.7.0 (2022-01-22)
 
-- 
GitLab