From 498d1a37f16d36b0c6341b074e5390a9194567a7 Mon Sep 17 00:00:00 2001
From: archshift <admin@archshift.com>
Date: Tue, 2 Sep 2014 22:05:45 -0700
Subject: Removed common/std_xyz, instead using the std header

---
 src/core/core_timing.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/core/core_timing.cpp')

diff --git a/src/core/core_timing.cpp b/src/core/core_timing.cpp
index c30e367329..25fccce76f 100644
--- a/src/core/core_timing.cpp
+++ b/src/core/core_timing.cpp
@@ -5,9 +5,9 @@
 #include <vector>
 #include <cstdio>
 #include <atomic>
+#include <mutex>
 
 #include "common/msg_handler.h"
-#include "common/std_mutex.h"
 #include "common/chunk_file.h"
 
 #include "core/core_timing.h"
-- 
cgit v1.2.3-70-g09d2