From 79bf64ede97487f48edc515475a44f3047aa8727 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 28 Jul 2021 18:46:05 +0200
Subject: [PATCH] update sed script

---
 CHANGELOG.md | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 651054fa..9b87bae3 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -203,15 +203,10 @@ s/\bmap_union_subseteq_(r|l)_alt\b/map_union_subseteq_\1'/g
 # singleton
 s/\bgmultiset_elem_of_singleton_subseteq\b/gmultiset_singleton_subseteq_l/g
 # empty_iff
-s/\bfmap_empty_inv\b/fmap_empty_iff/g
 s/\bmap_to_list_empty('|_inv)\b/map_to_list_empty_iff/g
-s/\bmap_size_empty_inv\b/map_size_empty_iff/g
 s/\bkmap_empty_inv\b/kmap_empty_iff/g
-s/\belements_empty('|_inv)\b/elements_empty_iff/g
-s/\bsize_empty_inv\b/size_empty_iff/g
-s/\bdom_empty_inv(_L|)\b/dom_empty_iff\1/g
-s/\bgmultiset_elements_empty('|_inv)\b/gmultiset_elements_empty_iff/g
-s/\bgmultiset_size_empty_inv\b/gmultiset_size_empty_iff/g
+s/\belements_empty'\b/elements_empty_iff/g
+s/\bgmultiset_elements_empty'\b/gmultiset_elements_empty_iff/g
 # map_filter_insert
 s/\bmap_filter_insert\b/map_filter_insert_True/g
 s/\bmap_filter_insert_not_delete\b/map_filter_insert_False/g
-- 
GitLab