From 0d6ed2bf410e9fffc96789d6bf2723d271be8895 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 10 Aug 2022 18:32:27 +0000
Subject: [PATCH] tweak

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index eb0cdce0..027e79b7 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -35,7 +35,7 @@ Coq 8.11 is no longer supported.
 - Add the `coq-stdpp-unstable` package for libraries that are not
   deemed stable enough to be included in the main std++ library,
   following the `coq-iris-unstable` package. This library is contained
-  in the `stdpp_unstable` folder and the `theories` folder was renamed
+  in the `stdpp_unstable` folder. The `theories` folder was renamed
   to `stdpp`.
 - Add an unstable `bitblast` tactic for solving equalities between integers
   involving bitwise operations. (by Michael Sammler)
-- 
GitLab