From 809acb6d893a285e6619e53b725719f3cb85af21 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 2 Apr 2020 11:22:56 +0200
Subject: [PATCH] adjust to GNU sed

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 8c57ab4e..a3db0780 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -54,9 +54,10 @@ Noteworthy additions and changes:
   + Rename `lookup_seq_inv` → `lookup_seq` and generalize it to a bi-implication
   + Add `NoDup_seqZ` and `Forall_seqZ`
 
-The following `sed` script should perform most of the renaming:
+The following `sed` script should perform most of the renaming
+(on macOS, replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`):
 ```
-sed -i~ '
+sed '
 s/\bdom_map_filter\b/dom_map_filter_subseteq/g
 s/\bfmap_seq\b/fmap_S_seq/g
 s/\bseqZ_fmap\b/fmap_add_seqZ/g
-- 
GitLab