crucible-llvm: Note LLVMOverride removal of bak in CHANGELOG

GaloisInc · Mar 22, 2024 · f3d828a · f3d828a
1 parent c05d84d
commit f3d828a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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