5 files changed, 12 insertions, 12 deletions
diff --git a/tools/gen-bout/gen-bout.cpp b/tools/gen-bout/gen-bout.cpp
index a415d400..0d7360bc 100644
--- a/tools/gen-bout/gen-bout.cpp
+++ b/tools/gen-bout/gen-bout.cpp
@@ -16,7 +16,7 @@
 #include <time.h>
 #include <unistd.h>
 
-#include "klee/Internal/ADT/KTest.h"
+#include "klee/ADT/KTest.h"
 
 #if defined(__FreeBSD__) || defined(__minix) || defined(__APPLE__)
 #define stat64 stat
diff --git a/tools/gen-random-bout/gen-random-bout.cpp b/tools/gen-random-bout/gen-random-bout.cpp
index 7d539606..dfa121d2 100644
--- a/tools/gen-random-bout/gen-random-bout.cpp
+++ b/tools/gen-random-bout/gen-random-bout.cpp
@@ -19,7 +19,7 @@
 #include <time.h>
 #include <unistd.h>
 
-#include "klee/Internal/ADT/KTest.h"
+#include "klee/ADT/KTest.h"
 
 #if defined(__FreeBSD__) || defined(__minix)
 #define stat64 stat
diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp
index 7e44a70a..ed606a77 100644
--- a/tools/kleaver/main.cpp
+++ b/tools/kleaver/main.cpp
@@ -17,7 +17,7 @@
 #include "klee/Expr/ExprVisitor.h"
 #include "klee/Expr/Parser/Lexer.h"
 #include "klee/Expr/Parser/Parser.h"
-#include "klee/Internal/Support/PrintVersion.h"
+#include "klee/Support/PrintVersion.h"
 #include "klee/OptionCategories.h"
 #include "klee/Solver/Solver.h"
 #include "klee/Solver/SolverCmdLine.h"
diff --git a/tools/klee-replay/klee-replay.c b/tools/klee-replay/klee-replay.c
index efc101b3..e1c7b7b2 100644
--- a/tools/klee-replay/klee-replay.c
+++ b/tools/klee-replay/klee-replay.c
@@ -9,7 +9,7 @@
 
 #include "klee-replay.h"
 
-#include "klee/Internal/ADT/KTest.h"
+#include "klee/ADT/KTest.h"
 
 #include <assert.h>
 #include <errno.h>
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 197ed6cf..209f67b2 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -12,14 +12,14 @@
 #include "klee/Config/Version.h"
 #include "klee/ExecutionState.h"
 #include "klee/Expr/Expr.h"
-#include "klee/Internal/ADT/KTest.h"
-#include "klee/Internal/ADT/TreeStream.h"
-#include "klee/Internal/Support/Debug.h"
-#include "klee/Internal/Support/ErrorHandling.h"
-#include "klee/Internal/Support/FileHandling.h"
-#include "klee/Internal/Support/ModuleUtil.h"
-#include "klee/Internal/Support/PrintVersion.h"
-#include "klee/Internal/System/Time.h"
+#include "klee/ADT/KTest.h"
+#include "klee/ADT/TreeStream.h"
+#include "klee/Support/Debug.h"
+#include "klee/Support/ErrorHandling.h"
+#include "klee/Support/FileHandling.h"
+#include "klee/Support/ModuleUtil.h"
+#include "klee/Support/PrintVersion.h"
+#include "klee/System/Time.h"
 #include "klee/Interpreter.h"
 #include "klee/OptionCategories.h"
 #include "klee/Solver/SolverCmdLine.h"