diff options
author | Daniel Dunbar <daniel@zuster.org> | 2009-07-12 20:42:31 +0000 |
---|---|---|
committer | Daniel Dunbar <daniel@zuster.org> | 2009-07-12 20:42:31 +0000 |
commit | 40d4cc09c873518519723244b38cc740ceda2bc8 (patch) | |
tree | 1e5918852817b13d7c146e28654c52d9ffa18422 /lib/Core/ExternalDispatcher.h | |
parent | 1277acf6d1de3208a458d76710a94e63f9d3bf94 (diff) | |
download | klee-40d4cc09c873518519723244b38cc740ceda2bc8.tar.gz |
Update for LLVM API changes.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@75427 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Core/ExternalDispatcher.h')
-rw-r--r-- | lib/Core/ExternalDispatcher.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/Core/ExternalDispatcher.h b/lib/Core/ExternalDispatcher.h index fc8f80f4..c173df73 100644 --- a/lib/Core/ExternalDispatcher.h +++ b/lib/Core/ExternalDispatcher.h @@ -11,7 +11,7 @@ #define KLEE_EXTERNALDISPATCHER_H #include <map> -#include "llvm/System/DynamicLibrary.h" +#include <string> namespace llvm { class ExecutionEngine; @@ -28,7 +28,6 @@ namespace klee { dispatchers_ty dispatchers; llvm::Module *dispatchModule; llvm::ExecutionEngine *executionEngine; - llvm::sys::DynamicLibrary dl_symbols; std::map<std::string, void*> preboundFunctions; llvm::Function *createDispatcher(llvm::Function *f, llvm::Instruction *i); |