From 037ebfd1d4423c5977a17774b1c5fd64fdf74a77 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 25 Sep 2013 20:13:05 -0700
Subject: [PATCH] refactor(util): make 'util/test.h' the first include

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/tests/util/buffer.cpp     | 2 +-
 src/tests/util/list.cpp       | 2 +-
 src/tests/util/scoped_map.cpp | 2 +-
 src/tests/util/scoped_set.cpp | 2 +-
 src/tests/util/sexpr.cpp      | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/tests/util/buffer.cpp b/src/tests/util/buffer.cpp
index c7075b3e2..6fc3a65ce 100644
--- a/src/tests/util/buffer.cpp
+++ b/src/tests/util/buffer.cpp
@@ -5,8 +5,8 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Author: Leonardo de Moura
 */
 #include <vector>
-#include "util/buffer.h"
 #include "util/test.h"
+#include "util/buffer.h"
 using namespace lean;
 
 template<typename C>
diff --git a/src/tests/util/list.cpp b/src/tests/util/list.cpp
index f5443d980..34762eafe 100644
--- a/src/tests/util/list.cpp
+++ b/src/tests/util/list.cpp
@@ -5,9 +5,9 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Author: Leonardo de Moura
 */
 #include <vector>
+#include "util/test.h"
 #include "util/list.h"
 #include "util/list_fn.h"
-#include "util/test.h"
 using namespace lean;
 
 static void tst1() {
diff --git a/src/tests/util/scoped_map.cpp b/src/tests/util/scoped_map.cpp
index 306b11f8f..a97443e65 100644
--- a/src/tests/util/scoped_map.cpp
+++ b/src/tests/util/scoped_map.cpp
@@ -4,8 +4,8 @@ Released under Apache 2.0 license as described in the file LICENSE.
 
 Author: Leonardo de Moura
 */
-#include "util/scoped_map.h"
 #include "util/test.h"
+#include "util/scoped_map.h"
 using namespace lean;
 
 static void tst1() {
diff --git a/src/tests/util/scoped_set.cpp b/src/tests/util/scoped_set.cpp
index 9e2cf06a6..100d63636 100644
--- a/src/tests/util/scoped_set.cpp
+++ b/src/tests/util/scoped_set.cpp
@@ -4,8 +4,8 @@ Released under Apache 2.0 license as described in the file LICENSE.
 
 Author: Leonardo de Moura
 */
-#include "util/scoped_set.h"
 #include "util/test.h"
+#include "util/scoped_set.h"
 using namespace lean;
 
 static void tst1() {
diff --git a/src/tests/util/sexpr.cpp b/src/tests/util/sexpr.cpp
index 8c37718bd..2d3961ffe 100644
--- a/src/tests/util/sexpr.cpp
+++ b/src/tests/util/sexpr.cpp
@@ -6,8 +6,8 @@ Author: Leonardo de Moura
 */
 #include <sstream>
 #include <string>
-#include "util/name.h"
 #include "util/test.h"
+#include "util/name.h"
 #include "util/numerics/mpq.h"
 #include "util/sexpr/sexpr.h"
 #include "util/sexpr/sexpr_fn.h"