From 1549a27b4963177ac625e8d78cf82a32b340bfd4 Mon Sep 17 00:00:00 2001
From: Kimaya Bedarkar <kbedarka@mpi-sws.org>
Date: Mon, 17 Feb 2025 16:28:20 +0100
Subject: [PATCH] fix

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 53817951..37d4498b 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -110,7 +110,7 @@ and Yiyun Liu. Thanks a lot to everyone involved!
 - Add `gmultiset_map` and associated lemmas. (by Marijn van Wezel)
 - Add `CProd` type class for Cartesian products; with instances for `list`,
   `gset`, `boolset`, `MonadSet` (i.e., `propset`, `listset`); and `set_solver`
-	tactic support. (by Thibaut Pérami)
+  tactic support. (by Thibaut Pérami)
 
 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