From 8a1f776ca6ec9f8124be10fe69a2cd9c3c775be0 Mon Sep 17 00:00:00 2001
From: Dekoze <aiondekoze@gmail.com>
Date: Thu, 21 Dec 2017 22:59:48 -0500
Subject: [PATCH] fix platform specific builds

---
 rai/lib/utility.hpp           | 1 +
 rai/plat/linux/priority.cpp   | 4 ++--
 rai/plat/windows/priority.cpp | 4 ++--
 3 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/rai/lib/utility.hpp b/rai/lib/utility.hpp
index e061807a..c924b07a 100644
--- a/rai/lib/utility.hpp
+++ b/rai/lib/utility.hpp
@@ -1,6 +1,7 @@
 #pragma once
 
 #include <functional>
+#include <mutex>
 #include <thread>
 #include <vector>
 
diff --git a/rai/plat/linux/priority.cpp b/rai/plat/linux/priority.cpp
index 4f245779..c5ba5a29 100644
--- a/rai/plat/linux/priority.cpp
+++ b/rai/plat/linux/priority.cpp
@@ -1,4 +1,4 @@
-#include <rai/utility.cpp>
+#include <rai/lib/utility.hpp>
 
 #include <pthread.h>
 
@@ -13,4 +13,4 @@ void rai::work_thread_reprioritize ()
 		auto result (pthread_setschedparam (handle, policy, &sched));
 		(void) result;
 	}
-}
\ No newline at end of file
+}
diff --git a/rai/plat/windows/priority.cpp b/rai/plat/windows/priority.cpp
index 4487d9a8..305193b8 100644
--- a/rai/plat/windows/priority.cpp
+++ b/rai/plat/windows/priority.cpp
@@ -1,8 +1,8 @@
-#include <rai/utility.hpp>
+#include <rai/lib/utility.hpp>
 
 #include <windows.h>
 
 void rai::work_thread_reprioritize ()
 {
 	auto SUCCESS (SetThreadPriority (GetCurrentThread(), THREAD_MODE_BACKGROUND_BEGIN));
-}
\ No newline at end of file
+}