From 0c1acd51e99968cc79863b714b4ebc89588a4c00 Mon Sep 17 00:00:00 2001
From: Julian Büning <julian.buening@rwth-aachen.de>
Date: Wed, 20 Mar 2019 21:27:46 +0100
Subject: remove obsolete LegacyLLVMPassManagerTy

---
 lib/Module/ModuleUtil.cpp | 2 --
 1 file changed, 2 deletions(-)

(limited to 'lib/Module/ModuleUtil.cpp')

diff --git a/lib/Module/ModuleUtil.cpp b/lib/Module/ModuleUtil.cpp
index 5c9aad1a..6152c1df 100644
--- a/lib/Module/ModuleUtil.cpp
+++ b/lib/Module/ModuleUtil.cpp
@@ -56,8 +56,6 @@
 #include "llvm/Support/raw_ostream.h"
 #include "llvm/Support/Path.h"
 
-#include "klee/Internal/Module/LLVMPassManager.h"
-
 #include <algorithm>
 #include <fstream>
 #include <map>
-- 
cgit 1.4.1