1 files changed, 1 insertions, 1 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index a6cc7aa8..7fff773c 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -1129,7 +1129,7 @@ int main(int argc, char **argv, char **envp) {
   std::string ErrorMsg;
   ModuleProvider *MP = 0;
   if (MemoryBuffer *Buffer = MemoryBuffer::getFileOrSTDIN(InputFile, &ErrorMsg)) {
-    MP = getBitcodeModuleProvider(Buffer, &ErrorMsg);
+    MP = getBitcodeModuleProvider(Buffer, getGlobalContext(), &ErrorMsg);
     if (!MP) delete Buffer;
   }