diff options
| author | ameerj <52414509+ameerj@users.noreply.github.com> | 2021-11-03 21:21:01 -0400 |
|---|---|---|
| committer | ameerj <52414509+ameerj@users.noreply.github.com> | 2021-11-03 21:42:57 -0400 |
| commit | d27abf5546bc392d498dedf87daed57e96268b0f (patch) | |
| tree | 83b16c8a012bef41e6f30a64114da8d01895eeb2 /src/core/cpu_manager.cpp | |
| parent | 442880420c314d3e4c309881a8c6d441d1e135e0 (diff) | |
core: Remove unused 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" |