From 186412a7460874731fe5013d0eb79ee574d4feaf Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 26 Jul 2021 20:23:56 +0000
Subject: [PATCH] Apply 1 suggestion(s) to 1 file(s)

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index e9a65d51..8133b0bd 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -128,7 +128,7 @@ API-breaking change is listed.
 - Add `union_subseteq_l'`, `union_subseteq_r'` as transitive versions of
   `union_subseteq_l`, `union_subseteq_r` that can be more easily `apply`ed.
 - Rename `gmultiset_elem_of_singleton_subseteq` → `gmultiset_singleton_subseteq_l`
-  and swap the order to be consistent with Iris's `singleton_included_l`. Add
+  and swap the equivalence to be consistent with Iris's `singleton_included_l`. Add
   `gmultiset_singleton_subseteq`, which is similar to `singleton_included` in
   Iris.
 - Add lemmas `singleton_subseteq_l` and `singleton_subseteq` for sets.
-- 
GitLab