diff options
author | bunnei <bunneidev@gmail.com> | 2014-09-07 22:08:06 -0400 |
---|---|---|
committer | bunnei <bunneidev@gmail.com> | 2014-09-07 22:08:06 -0400 |
commit | 85f1b76cd8a223968d61fbd93235acee5dcab47e (patch) | |
tree | 8b062c49cd6b6d34e39e4ad79005815e5c694c73 /src/core | |
parent | a1300865873541e532545088d2e65ec83ac69335 (diff) | |
parent | 498d1a37f16d36b0c6341b074e5390a9194567a7 (diff) |
Merge pull request #87 from archshift/remove-cruft
Removed redundant headers for std implementations
Diffstat (limited to 'src/core')
-rw-r--r-- | src/core/core_timing.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core/core_timing.cpp b/src/core/core_timing.cpp index c30e36732..25fccce76 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" |