From a162c20d388a231f6b73f93012fc1256353c13d9 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 18 Mar 2021 12:11:15 +0100
Subject: [PATCH] note a HeapLang breaking change
---
CHANGELOG.md | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/CHANGELOG.md b/CHANGELOG.md
index bb027a0b8..7ddf92e20 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -48,6 +48,10 @@ lemma.
- Some proofs using lifting lemmas and adequacy theorems need to be adapted
to ignore the new step counter.
+**Changes in `heap_lang`:**
+
+* Rename `Build_loc` constructor for `loc` type to `Loc`.
+
The following `sed` script helps adjust your code to the renaming (on macOS,
replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`).
Note that the script is not idempotent, do not run it twice.
--
GitLab