5 files changed, 5 insertions, 5 deletions
diff --git a/lib/Expr/ArrayExprOptimizer.cpp b/lib/Expr/ArrayExprOptimizer.cpp
index d80cc3bc..c3be0690 100644
--- a/lib/Expr/ArrayExprOptimizer.cpp
+++ b/lib/Expr/ArrayExprOptimizer.cpp
@@ -15,7 +15,7 @@
 #include "klee/Config/Version.h"
 #include "klee/Expr/Assignment.h"
 #include "klee/Expr/ExprBuilder.h"
-#include "klee/Internal/Support/ErrorHandling.h"
+#include "klee/Support/ErrorHandling.h"
 #include "klee/OptionCategories.h"
 #include "klee/util/BitArray.h"
 
diff --git a/lib/Expr/ArrayExprVisitor.cpp b/lib/Expr/ArrayExprVisitor.cpp
index 986360f7..dd82c4d6 100644
--- a/lib/Expr/ArrayExprVisitor.cpp
+++ b/lib/Expr/ArrayExprVisitor.cpp
@@ -9,7 +9,7 @@
 
 #include "ArrayExprVisitor.h"
 
-#include "klee/Internal/Support/ErrorHandling.h"
+#include "klee/Support/ErrorHandling.h"
 
 #include <algorithm>
 
diff --git a/lib/Expr/AssignmentGenerator.cpp b/lib/Expr/AssignmentGenerator.cpp
index acb2dc13..0301b702 100644
--- a/lib/Expr/AssignmentGenerator.cpp
+++ b/lib/Expr/AssignmentGenerator.cpp
@@ -10,7 +10,7 @@
 #include "AssignmentGenerator.h"
 
 #include "klee/Expr/Assignment.h"
-#include "klee/Internal/Support/ErrorHandling.h"
+#include "klee/Support/ErrorHandling.h"
 #include "klee/klee.h"
 
 #include <llvm/ADT/APInt.h>
diff --git a/lib/Expr/Constraints.cpp b/lib/Expr/Constraints.cpp
index 2b5adc4c..abf3eafe 100644
--- a/lib/Expr/Constraints.cpp
+++ b/lib/Expr/Constraints.cpp
@@ -11,7 +11,7 @@
 
 #include "klee/Expr/ExprPPrinter.h"
 #include "klee/Expr/ExprVisitor.h"
-#include "klee/Internal/Module/KModule.h"
+#include "klee/Module/KModule.h"
 #include "klee/OptionCategories.h"
 
 #include "llvm/IR/Function.h"
diff --git a/lib/Expr/Expr.cpp b/lib/Expr/Expr.cpp
index b798bc37..1deda550 100644
--- a/lib/Expr/Expr.cpp
+++ b/lib/Expr/Expr.cpp
@@ -13,7 +13,7 @@
 #include "klee/Expr/ExprPPrinter.h"
 // FIXME: We shouldn't need this once fast constant support moves into
 // Core. If we need to do arithmetic, we probably want to use APInt.
-#include "klee/Internal/Support/IntEvaluation.h"
+#include "klee/Support/IntEvaluation.h"
 #include "klee/OptionCategories.h"
 
 #include "llvm/ADT/Hashing.h"