From d8181c831d89bd39da609570f5f75cff92901af1 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 29 Jun 2020 13:10:00 +0200
Subject: [PATCH] Apply suggestion to CHANGELOG.md

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index f18c74dd5..21375bfb0 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -207,7 +207,7 @@ Coq development, but not every API-breaking change is listed.  Changes marked
   numbers`.
 * Remove notation for 3-mask step-taking updates, and made 2-mask notation less
   confusing by distinguishing it better from mask-changing updates.
-  Old: `|={E1,E2]â–·=> P`. New: `|={Eo}[Ei]â–·=> P`.
+  Old: `|={E1,E2}â–·=> P`. New: `|={Eo}[Ei]â–·=> P`.
   As part of this, the lemma `step_fupd_mask_mono` now also has a more
   consistent argument order for its masks.
 
-- 
GitLab