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