Update for LLVM API changes.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@75427 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 4 insertions, 4 deletions

diff --git a/lib/Core/ExternalDispatcher.cpp b/lib/Core/ExternalDispatcher.cpp
index 3486a757..80bff188 100644
--- a/lib/Core/ExternalDispatcher.cpp
+++ b/lib/Core/ExternalDispatcher.cpp
@@ -52,7 +52,7 @@ void *ExternalDispatcher::resolveSymbol(const std::string &name) {
   if (str[0] == 1) // asm specifier, skipped
     ++str;
 
-  void *addr = dl_symbols.SearchForAddressOfSymbol(str);
+  void *addr = sys::DynamicLibrary::SearchForAddressOfSymbol(str);
   if (addr)
     return addr;
   
@@ -60,14 +60,14 @@ void *ExternalDispatcher::resolveSymbol(const std::string &name) {
   // without the underscore. I (DWD) don't know why.
   if (name[0] == 1 && str[0]=='_') { 
     ++str;
-    addr = dl_symbols.SearchForAddressOfSymbol(str);
+    addr = sys::DynamicLibrary::SearchForAddressOfSymbol(str);
   }
 
   return addr;
 }
 
 ExternalDispatcher::ExternalDispatcher() {
-  dispatchModule = new Module("ExternalDispatcher");
+  dispatchModule = new Module("ExternalDispatcher", getGlobalContext());
   ExistingModuleProvider* MP = new ExistingModuleProvider(dispatchModule);
   
   std::string error;
@@ -85,7 +85,7 @@ ExternalDispatcher::ExternalDispatcher() {
   if (executionEngine) {
     // Make sure we can resolve symbols in the program as well. The zero arg
     // to the function tells DynamicLibrary to load the program, not a library.
-    dl_symbols.LoadLibraryPermanently(0);
+    sys::DynamicLibrary::LoadLibraryPermanently(0);
   }
 
 #ifdef WINDOWS