core_timing: Remove unused header

2025-06-13 10:37:58 -05:00 · 2020-08-22 20:27:31 -04:00
parent 25cd5d9dda
commit 79504f1a39
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 {