diff options
| author |  Yuri Kunde Schlesner <yuriks@yuriks.net> | 2015-07-10 16:36:12 -0700 |
|---|---|---|
| committer | Yuri Kunde Schlesner <yuriks@yuriks.net> | 2015-07-10 16:36:12 -0700 |
| commit | 867c28ae03b3b2883713896765f3ff76eaf90a19 (patch) | |
| tree | 8ff8cf3ab24d2f167c19217efb8175a8841c0359 /src/common/profiler_reporting.h | |
| parent | ac7bc214abe6b8f9eb2c122709ea99a0ca4b4245 (diff) | |
| parent | 4964a359e1a82f87a9772140fd1d933c5812c2e7 (diff) | |
Merge pull request #876 from linkmauve/include-cleanups
Cleanup includes, mostly in common
Diffstat (limited to 'src/common/profiler_reporting.h')
| -rw-r--r-- | src/common/profiler_reporting.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/common/profiler_reporting.h b/src/common/profiler_reporting.h index 3abb7331..df98e05b 100644 --- a/src/common/profiler_reporting.h +++ b/src/common/profiler_reporting.h @@ -4,10 +4,7 @@ #pragma once -#include <array> -#include <chrono> -#include <mutex> -#include <utility> +#include <cstddef> #include <vector> #include "common/profiler.h" |