core_timing: Remove unused header

2020-08-22 20:27:31 -04:00 · 2020-08-22 20:27:31 -04:00 · 96214f8600
commit 96214f8600
parent aae74a55da
3 changed files with 2 additions and 2 deletions
--- a/src/core/core_timing_util.cpp
+++ b/src/core/core_timing_util.cpp
@ -8,6 +8,7 @@
 #include <limits>
 #include "common/logging/log.h"
 #include "common/uint128.h"
+#include "core/hardware_properties.h"

 namespace Core::Timing {