diff options
author | bunnei <bunneidev@gmail.com> | 2021-11-04 13:56:10 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-04 13:56:10 -0700 |
commit | f178a8ef0ce1ba602b0c857ed5993880a74d6a69 (patch) | |
tree | e40d64467cd06038d765a0e066a65ff5c2ba8121 /src/core/cpu_manager.cpp | |
parent | b92c4abc96008b5898f905856b3acbeba31c3d61 (diff) | |
parent | b275f2e475e4e2eaa34225ed3c3cd247150e1ba0 (diff) |
Merge pull request #7282 from ameerj/core-includes
core: Reduce unused header includes
Diffstat (limited to 'src/core/cpu_manager.cpp')
-rw-r--r-- | src/core/cpu_manager.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/core/cpu_manager.cpp b/src/core/cpu_manager.cpp index 77efcabf01..5d43c6e5dd 100644 --- a/src/core/cpu_manager.cpp +++ b/src/core/cpu_manager.cpp @@ -6,7 +6,6 @@ #include "common/microprofile.h" #include "common/scope_exit.h" #include "common/thread.h" -#include "core/arm/exclusive_monitor.h" #include "core/core.h" #include "core/core_timing.h" #include "core/cpu_manager.h" |