From 65072ad6fb273d5919fc3b419524224ab0e3dcba Mon Sep 17 00:00:00 2001
From: Matthew Parlane <parlane@gmail.com>
Date: Fri, 11 Jan 2013 23:58:47 +1300
Subject: [PATCH] The real fix. Not sure why my build ever worked.

---
 Source/Core/Core/Src/IPC_HLE/WII_IPC_HLE.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Source/Core/Core/Src/IPC_HLE/WII_IPC_HLE.cpp b/Source/Core/Core/Src/IPC_HLE/WII_IPC_HLE.cpp
index 3b02c2e48f..83b56eb0eb 100644
--- a/Source/Core/Core/Src/IPC_HLE/WII_IPC_HLE.cpp
+++ b/Source/Core/Core/Src/IPC_HLE/WII_IPC_HLE.cpp
@@ -36,10 +36,10 @@ They will also generate a true or false return for UpdateInterrupts() in WII_IPC
 #include <map>
 #include <string>
 #include <list>
-#include <mutex>
 
 #include "Common.h"
 #include "CommonPaths.h"
+#include "Thread.h"
 #include "WII_IPC_HLE.h"
 #include "WII_IPC_HLE_Device.h"
 #include "WII_IPC_HLE_Device_DI.h"