From f3d828a3972dc38c880995ed21af0d500ab094a9 Mon Sep 17 00:00:00 2001
From: Langston Barrett <langston.barrett@gmail.com>
Date: Fri, 22 Mar 2024 16:29:16 -0400
Subject: [PATCH] crucible-llvm: Note `LLVMOverride` removal of `bak` in
 CHANGELOG

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

diff --git a/crucible-llvm/CHANGELOG.md b/crucible-llvm/CHANGELOG.md
index 8b246d34a..59578cfd7 100644
--- a/crucible-llvm/CHANGELOG.md
+++ b/crucible-llvm/CHANGELOG.md
@@ -2,6 +2,9 @@
 
 * `LLVMOverride` now has an additional `ext` type parameter. See the Haddocks
   for `LLVMOverride` for details and motivation.
+* The `llvmOverride_def` field of `LLVMOverride` no longer takes a `bak`
+  argument. To retrieve the current symbolic backend, use
+  `Lang.Crucible.Simulator.OverrideSim.ovrWithBackend`.
 
 # 0.6 -- 2024-02-05