From 7bffcf776bd72f60b4dc92be6a0aedd9988f6050 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 8 Dec 2016 09:26:22 -0800
Subject: [PATCH] chore(library/mt_task_queue, library/task_queue): style

---
 src/library/mt_task_queue.h | 2 +-
 src/library/task_queue.h    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/library/mt_task_queue.h b/src/library/mt_task_queue.h
index 961917caa4..d2b5f75103 100644
--- a/src/library/mt_task_queue.h
+++ b/src/library/mt_task_queue.h
@@ -12,8 +12,8 @@ Author: Gabriel Ebner
 #include <map>
 #include <functional>
 #include <unordered_map>
-#include <library/io_state.h>
 #include "util/optional.h"
+#include "library/io_state.h"
 #include "library/task_queue.h"
 
 namespace lean {
diff --git a/src/library/task_queue.h b/src/library/task_queue.h
index 54eaf414ae..7e7cddf2c4 100644
--- a/src/library/task_queue.h
+++ b/src/library/task_queue.h
@@ -9,10 +9,10 @@ Author: Gabriel Ebner
 #include <string>
 #include <vector>
 #include <unordered_set>
-#include <library/message_buffer.h>
 #include "util/thread.h"
 #include "util/optional.h"
 #include "util/rc.h"
+#include "library/message_buffer.h"
 
 namespace lean {