From d82fc09ba09e1a7fe8210fd1e71c4169cc1c0303 Mon Sep 17 00:00:00 2001
From: David Holland <dholland@galois.com>
Date: Wed, 16 Oct 2024 18:51:23 -0400
Subject: [PATCH] Add changelog entry.

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

diff --git a/crucible-mir/CHANGELOG.md b/crucible-mir/CHANGELOG.md
index 45d832b11..ce6f3e8a8 100644
--- a/crucible-mir/CHANGELOG.md
+++ b/crucible-mir/CHANGELOG.md
@@ -1,5 +1,8 @@
 # 0.3 -- 2024-08-30
 
+* The calling sequence of ```translateMIR``` has changed: the first argument,
+  which should always have been passed as ```mempty```, has been removed.
+  This will probably require adjustments in downstream callers.
 * Implement byte-to-char casts.
 * Fix a bug which failed to parse MIR JSON code involving casts from array references to pointers.
 * Rearranged handling of constant slices into a reference and a separate static allocation for the body the reference points to.