1 files changed, 6 insertions, 8 deletions
diff --git a/lib/Expr/Parser.cpp b/lib/Expr/Parser.cpp
index 479ff6c2..c365002d 100644
--- a/lib/Expr/Parser.cpp
+++ b/lib/Expr/Parser.cpp
@@ -7,16 +7,14 @@
 //
 //===----------------------------------------------------------------------===//
 
-#include "expr/Parser.h"
-
-#include "expr/Lexer.h"
-
 #include "klee/Config/Version.h"
-#include "klee/Constraints.h"
-#include "klee/ExprBuilder.h"
+#include "klee/Expr/Constraints.h"
+#include "klee/Expr/ArrayCache.h"
+#include "klee/Expr/ExprBuilder.h"
+#include "klee/Expr/ExprPPrinter.h"
+#include "klee/Expr/Parser/Lexer.h"
+#include "klee/Expr/Parser/Parser.h"
 #include "klee/Solver.h"
-#include "klee/util/ExprPPrinter.h"
-#include "klee/util/ArrayCache.h"
 
 #include "llvm/ADT/APInt.h"
 #include "llvm/Support/MemoryBuffer.h"