From 437e6bcf3323ac9fa0f7ef30afb9399b9908bb87 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 2 Apr 2020 11:23:25 +0200
Subject: [PATCH] changelog format nit

---
 CHANGELOG.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index a8934aa4b..e9f7cefa6 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -285,8 +285,8 @@ Chajed. Thanks a lot to everyone involved!
   consistent with other such big op lemmas. Also add such lemmas for `bupd`.
 * Rename `C` suffixes into `O` since we no longer use COFEs but OFEs. Also
   rename `ofe_fun` into `discrete_fun` and the corresponding notation `-c>` into
-  `-d>`. The renaming can be automatically done using the following script (on
-  macOS, replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`):
+  `-d>`. The renaming can be automatically done using the following script
+  (on macOS, replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`):
 ```
 sed -i '
 s/\bCofeMor/OfeMor/g;
-- 
GitLab