From ee8234ee976cc7367f28eef658636915f56162a4 Mon Sep 17 00:00:00 2001
From: Julian Büning <julian.buening@rwth-aachen.de>
Date: Wed, 3 Oct 2018 12:14:31 +0200
Subject: remove obsolete dependency of kleeModule on kleeCore

---
 lib/Module/CMakeLists.txt | 5 -----
 lib/Module/ModuleUtil.cpp | 1 -
 2 files changed, 6 deletions(-)

(limited to 'lib/Module')

diff --git a/lib/Module/CMakeLists.txt b/lib/Module/CMakeLists.txt
index c1a5d809..a549d60a 100644
--- a/lib/Module/CMakeLists.txt
+++ b/lib/Module/CMakeLists.txt
@@ -38,9 +38,4 @@ klee_get_llvm_libs(LLVM_LIBS ${LLVM_COMPONENTS})
 target_link_libraries(kleeModule PUBLIC ${LLVM_LIBS})
 target_link_libraries(kleeModule PRIVATE
   kleeSupport
-  # FIXME:
-  # There is a circular dependency between `kleeModule` and `kleeCore`.
-  # `ModuleUtil.cpp` uses `klee::SpecialFunctionHandler` (in `kleeCore`) but
-  # `kleeCore` uses `kleeModule`.
-  kleeCore
 )
diff --git a/lib/Module/ModuleUtil.cpp b/lib/Module/ModuleUtil.cpp
index bfec9e7d..f903fbfe 100644
--- a/lib/Module/ModuleUtil.cpp
+++ b/lib/Module/ModuleUtil.cpp
@@ -12,7 +12,6 @@
 #include "klee/Config/Version.h"
 #include "klee/Internal/Support/Debug.h"
 #include "klee/Internal/Support/ErrorHandling.h"
-#include "../Core/SpecialFunctionHandler.h"
 
 #include "llvm/IR/Function.h"
 #include "llvm/IR/Instructions.h"
-- 
cgit 1.4.1