From d80bbc1e498c825deed2c27eca90971405eaff38 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 30 Jul 2024 10:27:29 +0200
Subject: [PATCH] add changelog for BSD build script fix

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 714f5c5d..d798dff5 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -10,6 +10,7 @@ API-breaking change is listed.
 - Add support for compiling the packages with dune. (by Rodolphe Lepigre)
 - Add lemmas `gset_to_gmap_singleton`, `difference_union_intersection`,
   `difference_union_intersection_L`. (by Léo Stefanesco)
+- Make the build script compatible with BSD systems. (by Yiyun Liu)
 
 ## std++ 1.10.0 (2024-04-12)
 
-- 
GitLab