From 24fec1e1a0d857d04636fad7036312a9f655c455 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 1 Sep 2021 11:24:13 -0400
Subject: [PATCH] add changelog for iris_invG rename

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 652673224..ef8a23a4c 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -134,6 +134,7 @@ Coq 8.11 is no longer supported in this version of Iris.
 * Remove `wp_frame_wand_l`; add `wp_frame_wand` as more symmetric replacement.
 * Swap the polarity of the mask in logically atomic triples, so that it matches
   regular `WP` masks.
+* Rename `iris_invG` to `iris_invGS`.
 
 **Changes in `heap_lang`:**
 
@@ -163,6 +164,8 @@ s/\b([iI]nv|iris|(gen|inv)_heap|(Gen|Inv)Heap|proph_map|ProphMap|[oO]wnP|[hH]eap
 # iris.proofmode.tactics → iris.proofmode.proofmode
 s/\bproofmode\.tactics\b/proofmode.proofmode/
 s/(From +iris\.proofmode +Require +(Import|Export).*)\btactics\b/\1proofmode/
+# iris_invG → iris_invGS
+s/\biris_invG\b/iris_invGS/g
 EOF
 ```
 
-- 
GitLab