From 84b5103408a464bff8fe69384d0f0bac85ad20c5 Mon Sep 17 00:00:00 2001
From: Ryan Scott <rscott@galois.com>
Date: Tue, 14 May 2024 07:01:40 -0400
Subject: [PATCH] Export bindLLVMFunPtr

PR #1198 moved `bindLLVMFunPtr` to `Lang.Crucible.LLVM.Functions`, but it did
not export it publicly. This function is used by SAW, so it would be nice to
continue to offer it as part of the public API.
---
 crucible-llvm/src/Lang/Crucible/LLVM/Functions.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/crucible-llvm/src/Lang/Crucible/LLVM/Functions.hs b/crucible-llvm/src/Lang/Crucible/LLVM/Functions.hs
index 004678694..a94466f93 100644
--- a/crucible-llvm/src/Lang/Crucible/LLVM/Functions.hs
+++ b/crucible-llvm/src/Lang/Crucible/LLVM/Functions.hs
@@ -49,6 +49,7 @@ module Lang.Crucible.LLVM.Functions
   , allocLLVMFunPtr
   , allocLLVMFunPtrs
   , registerFunPtr
+  , bindLLVMFunPtr
   , bindLLVMHandle
   , bindLLVMCFG
   , bindLLVMFunc