Consolidated Expr-related include files into a single include/klee/Expr directory. This improves the organization of the code, and also makes it easier to reuse Expr outside KLEE.

1 files changed, 7 insertions, 5 deletions

diff --git a/unittests/Solver/SolverTest.cpp b/unittests/Solver/SolverTest.cpp
index b178ced3..b15fd64b 100644
--- a/unittests/Solver/SolverTest.cpp
+++ b/unittests/Solver/SolverTest.cpp
@@ -7,16 +7,18 @@
 //
 //===----------------------------------------------------------------------===//
 
-#include <iostream>
 #include "gtest/gtest.h"
 
-#include "klee/SolverCmdLine.h"
-#include "klee/Constraints.h"
-#include "klee/Expr.h"
+#include "klee/Expr/ArrayCache.h"
+#include "klee/Expr/Constraints.h"
+#include "klee/Expr/Expr.h"
 #include "klee/Solver.h"
-#include "klee/util/ArrayCache.h"
+#include "klee/SolverCmdLine.h"
+
 #include "llvm/ADT/StringExtras.h"
 
+#include <iostream>
+
 using namespace klee;
 
 namespace {