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