1 files changed, 3 insertions, 5 deletions
diff --git a/lib/Core/ExecutorUtil.cpp b/lib/Core/ExecutorUtil.cpp
index 7b227eba..15125fe1 100644
--- a/lib/Core/ExecutorUtil.cpp
+++ b/lib/Core/ExecutorUtil.cpp
@@ -11,14 +11,12 @@
 
 #include "Context.h"
 
-#include "klee/Expr.h"
-#include "klee/Interpreter.h"
-#include "klee/Solver.h"
-
 #include "klee/Config/Version.h"
+#include "klee/Expr/Expr.h"
 #include "klee/Internal/Module/KModule.h"
-
 #include "klee/Internal/Support/ErrorHandling.h"
+#include "klee/Interpreter.h"
+#include "klee/Solver.h"
 
 #include "llvm/IR/Constants.h"
 #include "llvm/IR/DataLayout.h"