From 13c3510c793e5b2314208b184b4201ef4d9c2aca Mon Sep 17 00:00:00 2001
From: Dan Frumin <dan@groupoid.moe>
Date: Mon, 30 May 2022 22:00:27 +0200
Subject: [PATCH] Update the CHANGELOG

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 2a5a0cee..235046a6 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -43,6 +43,7 @@ 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
 
 ## std++ 1.7.0 (2022-01-22)
 
-- 
GitLab