From 433c97fb230246ae337ddd15fb1f20b7dee53877 Mon Sep 17 00:00:00 2001
From: Langston Barrett <langston.barrett@gmail.com>
Date: Tue, 5 Dec 2023 09:55:59 -0500
Subject: [PATCH] crucible-llvm: Mention changes to binding function pointers
 in changelog

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

diff --git a/crucible-llvm/CHANGELOG.md b/crucible-llvm/CHANGELOG.md
index 01363b876..811beceb3 100644
--- a/crucible-llvm/CHANGELOG.md
+++ b/crucible-llvm/CHANGELOG.md
@@ -1,3 +1,8 @@
+# next
+
+* `bindLLVMFunPtr` now accepts an `Text.LLVM.AST.Symbol` rather than a whole `Declare`.
+  Use `decName` to get a `Symbol` from a `Declare`.
+
 # 0.5
 * Add `?memOpts :: MemOptions` constraints to the following functions:
   * `Lang.Crucible.LLVM.MemModel`: `doStore`, `storeRaw`, `condStoreRaw`, and