From f427e6af5834cdd0cd4657673e7ca6c9e02a94b6 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 28 Jul 2021 11:26:14 +0200
Subject: [PATCH] sed script: be less strict about spacing

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index fb5e992a0..8ab690b22 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -157,7 +157,7 @@ s/\b(inv|iris|(gen|inv)_heap|(Gen|Inv)Heap|proph_map|ProphMap|[oO]wnP|[hH]eap)G\
 s/\b([iI]nv|iris|(gen|inv)_heap|(Gen|Inv)Heap|proph_map|ProphMap|[oO]wnP|[hH]eap)PreG\b/\1GpreS/g
 # iris.proofmode.tactics → iris.proofmode.proofmode
 s/\bproofmode\.tactics\b/proofmode.proofmode/
-s/(From iris\.proofmode Require (Import|Export).*)\btactics\b/\1proofmode/
+s/(From +iris\.proofmode +Require +(Import|Export).*)\btactics\b/\1proofmode/
 EOF
 ```
 
-- 
GitLab