1 files changed, 10 insertions, 9 deletions
diff --git a/lib/Expr/ArrayExprOptimizer.cpp b/lib/Expr/ArrayExprOptimizer.cpp
index 475b8b5c..e911e197 100644
--- a/lib/Expr/ArrayExprOptimizer.cpp
+++ b/lib/Expr/ArrayExprOptimizer.cpp
@@ -8,24 +8,25 @@
 //===----------------------------------------------------------------------===//
 
 #include "ArrayExprOptimizer.h"
-
-#include <algorithm>
-#include <cassert>
-#include <cstddef>
-#include <llvm/ADT/APInt.h>
-#include <llvm/Support/Casting.h>
-#include <llvm/Support/CommandLine.h>
-#include <set>
-
 #include "ArrayExprRewriter.h"
 #include "ArrayExprVisitor.h"
 #include "AssignmentGenerator.h"
+
 #include "klee/Config/Version.h"
 #include "klee/ExprBuilder.h"
 #include "klee/Internal/Support/ErrorHandling.h"
 #include "klee/util/Assignment.h"
 #include "klee/util/BitArray.h"
 
+#include <llvm/ADT/APInt.h>
+#include <llvm/Support/Casting.h>
+#include <llvm/Support/CommandLine.h>
+
+#include <algorithm>
+#include <cassert>
+#include <cstddef>
+#include <set>
+
 using namespace klee;
 
 namespace klee {