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 {