From 7a98381896aea951d82e4659a1aaf2309588b4a0 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 18 Jun 2019 21:40:07 +0200
Subject: [PATCH] fix sed for macOS

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index fc62143b7..66abeb752 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -146,8 +146,9 @@ Changes in Coq:
 * Changed `frac_auth` notation from `●!`/`◯!` to `●F`/`◯F`. sed script:
   `s/◯!/◯F/g; s/●!/●F/g;`.
 * 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:
+  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 you will have to replace the `-i` at the end by `-i ''`):
 ```
 sed '
 s/\bCofeMor/OfeMor/g;
-- 
GitLab