remove obsolete LegacyLLVMPassManagerTy

1 files changed, 4 insertions, 4 deletions

diff --git a/lib/Module/Optimize.cpp b/lib/Module/Optimize.cpp
index 22b9a16a..0980c060 100644
--- a/lib/Module/Optimize.cpp
+++ b/lib/Module/Optimize.cpp
@@ -16,7 +16,6 @@
 //===----------------------------------------------------------------------===//
 
 #include "klee/Config/Version.h"
-#include "klee/Internal/Module/LLVMPassManager.h"
 #include "klee/OptionCategories.h"
 
 #ifdef USE_WORKAROUND_LLVM_PR39177
@@ -27,6 +26,7 @@
 #include "llvm/Analysis/LoopPass.h"
 #include "llvm/IR/Module.h"
 #include "llvm/IR/DataLayout.h"
+#include "llvm/IR/LegacyPassManager.h"
 #include "llvm/Support/CommandLine.h"
 #include "llvm/Support/DynamicLibrary.h"
 #include "llvm/Support/PluginLoader.h"
@@ -93,7 +93,7 @@ static cl::alias A1("S", cl::desc("Alias for --strip-debug"),
 
 // A utility function that adds a pass to the pass manager but will also add
 // a verifier pass after if we're supposed to verify.
-static inline void addPass(klee::LegacyLLVMPassManagerTy &PM, Pass *P) {
+static inline void addPass(legacy::PassManager &PM, Pass *P) {
   // Add the pass to the pass manager...
   PM.add(P);
 
@@ -105,7 +105,7 @@ static inline void addPass(klee::LegacyLLVMPassManagerTy &PM, Pass *P) {
 namespace llvm {
 
 
-static void AddStandardCompilePasses(klee::LegacyLLVMPassManagerTy &PM) {
+static void AddStandardCompilePasses(legacy::PassManager &PM) {
   PM.add(createVerifierPass());                  // Verify that input is correct
 
   // If the -strip-debug command line option was specified, do it.
@@ -180,7 +180,7 @@ static void AddStandardCompilePasses(klee::LegacyLLVMPassManagerTy &PM) {
 void Optimize(Module *M, llvm::ArrayRef<const char *> preservedFunctions) {
 
   // Instantiate the pass manager to organize the passes.
-  klee::LegacyLLVMPassManagerTy Passes;
+  legacy::PassManager Passes;
 
   // If we're verifying, start off with a verification pass.
   if (VerifyEach)