Removed the Internal directory from include/klee

9 files changed, 15 insertions, 15 deletions

diff --git a/lib/Support/CompressionStream.cpp b/lib/Support/CompressionStream.cpp
index 4f818897..95dbe006 100644
--- a/lib/Support/CompressionStream.cpp
+++ b/lib/Support/CompressionStream.cpp
@@ -9,7 +9,7 @@
 #include "klee/Config/config.h"
 #include "klee/Config/Version.h"
 #ifdef HAVE_ZLIB_H
-#include "klee/Internal/Support/CompressionStream.h"
+#include "klee/Support/CompressionStream.h"
 
 #include "llvm/Support/FileSystem.h"
 
diff --git a/lib/Support/ErrorHandling.cpp b/lib/Support/ErrorHandling.cpp
index d1dd6a15..5c7b69dd 100644
--- a/lib/Support/ErrorHandling.cpp
+++ b/lib/Support/ErrorHandling.cpp
@@ -7,7 +7,7 @@
 //
 //===----------------------------------------------------------------------===//
 
-#include "klee/Internal/Support/ErrorHandling.h"
+#include "klee/Support/ErrorHandling.h"
 #include "llvm/ADT/StringRef.h"
 #include "llvm/Support/raw_ostream.h"
 #include "llvm/Support/CommandLine.h"
diff --git a/lib/Support/FileHandling.cpp b/lib/Support/FileHandling.cpp
index af532a0e..bc65a641 100644
--- a/lib/Support/FileHandling.cpp
+++ b/lib/Support/FileHandling.cpp
@@ -6,16 +6,16 @@
 // License. See LICENSE.TXT for details.
 //
 //===----------------------------------------------------------------------===//
-#include "klee/Internal/Support/FileHandling.h"
+#include "klee/Support/FileHandling.h"
 
 #include "klee/Config/Version.h"
 #include "klee/Config/config.h"
-#include "klee/Internal/Support/ErrorHandling.h"
+#include "klee/Support/ErrorHandling.h"
 
 #include "llvm/Support/FileSystem.h"
 
 #ifdef HAVE_ZLIB_H
-#include "klee/Internal/Support/CompressionStream.h"
+#include "klee/Support/CompressionStream.h"
 #endif
 
 namespace klee {
diff --git a/lib/Support/MemoryUsage.cpp b/lib/Support/MemoryUsage.cpp
index 2f62dc80..e2b4bbf7 100644
--- a/lib/Support/MemoryUsage.cpp
+++ b/lib/Support/MemoryUsage.cpp
@@ -7,7 +7,7 @@
 //
 //===----------------------------------------------------------------------===//
 
-#include "klee/Internal/System/MemoryUsage.h"
+#include "klee/System/MemoryUsage.h"
 
 #include "klee/Config/config.h"
 
diff --git a/lib/Support/PrintVersion.cpp b/lib/Support/PrintVersion.cpp
index b7f2b6ff..1cb80864 100644
--- a/lib/Support/PrintVersion.cpp
+++ b/lib/Support/PrintVersion.cpp
@@ -7,7 +7,7 @@
 //
 //===----------------------------------------------------------------------===//
 
-#include "klee/Internal/Support/PrintVersion.h"
+#include "klee/Support/PrintVersion.h"
 #include "klee/Config/config.h"
 #include "klee/Config/Version.h"
 #include "llvm/Support/raw_ostream.h"
diff --git a/lib/Support/RNG.cpp b/lib/Support/RNG.cpp
index fef7e489..9f0824ad 100644
--- a/lib/Support/RNG.cpp
+++ b/lib/Support/RNG.cpp
@@ -42,7 +42,7 @@
    email: m-mat @ math.sci.hiroshima-u.ac.jp (remove space)
 */
 
-#include "klee/Internal/ADT/RNG.h"
+#include "klee/ADT/RNG.h"
 
 using namespace klee;
 
diff --git a/lib/Support/Time.cpp b/lib/Support/Time.cpp
index 219b07b0..93d77de1 100644
--- a/lib/Support/Time.cpp
+++ b/lib/Support/Time.cpp
@@ -7,8 +7,8 @@
 //
 //===----------------------------------------------------------------------===//
 
-#include "klee/Internal/Support/ErrorHandling.h"
-#include "klee/Internal/System/Time.h"
+#include "klee/Support/ErrorHandling.h"
+#include "klee/System/Time.h"
 
 
 #include <cstdint>
diff --git a/lib/Support/Timer.cpp b/lib/Support/Timer.cpp
index 8a0b4ecc..1948449c 100644
--- a/lib/Support/Timer.cpp
+++ b/lib/Support/Timer.cpp
@@ -7,9 +7,9 @@
 //
 //===----------------------------------------------------------------------===//
 
-#include "klee/Internal/Support/ErrorHandling.h"
-#include "klee/Internal/Support/Timer.h"
-#include "klee/Internal/System/Time.h"
+#include "klee/Support/ErrorHandling.h"
+#include "klee/Support/Timer.h"
+#include "klee/System/Time.h"
 
 
 using namespace klee;
diff --git a/lib/Support/TreeStream.cpp b/lib/Support/TreeStream.cpp
index 8681245b..4571861d 100644
--- a/lib/Support/TreeStream.cpp
+++ b/lib/Support/TreeStream.cpp
@@ -8,9 +8,9 @@
 //===----------------------------------------------------------------------===//
 
 #define DEBUG_TYPE "TreeStreamWriter"
-#include "klee/Internal/ADT/TreeStream.h"
+#include "klee/ADT/TreeStream.h"
 
-#include "klee/Internal/Support/Debug.h"
+#include "klee/Support/Debug.h"
 
 #include <cassert>
 #include <iomanip>