From 5e962360133a379e05116778800768db504ce30a Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 12 Jun 2019 15:12:29 +0200
Subject: [PATCH] note on macOS sed usage

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 507e97d64..02c797872 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -217,7 +217,8 @@ Changes in Coq:
       the direction of this equivalence got swapped for consistency's sake)
     + `always_wand_impl` -> `persistently_impl_wand` (additionally, the
       direction of this equivalence got swapped for consistency's sake)
-  The following `sed` snippet should get you most of the way:
+  The following `sed` snippet should get you most of the way (on macOS you will
+  have to replace `-i` by `-i ''`):
 ```
 sed 's/\bPersistentP\b/Persistent/g; s/\bTimelessP\b/Timeless/g; s/\bCMRADiscrete\b/CmraDiscrete/g; s/\bCMRAT\b/CmraT/g; s/\bCMRAMixin\b/CmraMixin/g; s/\bUCMRAT\b/UcmraT/g; s/\bUCMRAMixin\b/UcmraMixin/g; s/\bSTS\b/Sts/g' -i $(find -name "*.v")
 ```
-- 
GitLab