From e32fc779e7ae44272bd4538745ab239c350b942a Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 30 Oct 2020 12:27:00 +0100
Subject: [PATCH] fix sed script

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index d4f13b19..f9783d63 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -42,7 +42,7 @@ Coq 8.8 and 8.9 are no longer supported.
 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 -i -E '
 s/\bQp_plus/Qp_add/g
 s/\bQp_mult/Qp_mul/g
 ' $(find theories -name "*.v")
-- 
GitLab