From 256153c442db75a89c04a1ec854c03ea7b1e8b61 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Mon, 11 Mar 2019 10:40:29 +0000
Subject: Reordered includes in ArrayExprOptimizer.cpp for consistency with the
 other files

---
 lib/Expr/ArrayExprOptimizer.cpp | 19 ++++++++++---------
 1 file changed, 10 insertions(+), 9 deletions(-)

(limited to 'lib/Expr')

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 {
-- 
cgit 1.4.1