diff options
| author | Fernando Sahmkow <fsahmkow27@gmail.com> | 2020-01-26 16:14:18 -0400 |
|---|---|---|
| committer | FernandoS27 <fsahmkow27@gmail.com> | 2020-01-27 09:54:11 -0400 |
| commit | 2d1984c20c75e03ec79eeb3806b12efa1679b977 (patch) | |
| tree | 79a457c2fb0cabd810eac92f3cb245d344ed9c3b /src/core/core_manager.h | |
| parent | de4b01f75df19c1674a2b4424b4f0d8060829844 (diff) | |
System: Address Feedback
Diffstat (limited to 'src/core/core_manager.h')
| -rw-r--r-- | src/core/core_manager.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/core/core_manager.h b/src/core/core_manager.h index 7bc9679c16..b14e723d7b 100644 --- a/src/core/core_manager.h +++ b/src/core/core_manager.h @@ -5,10 +5,8 @@ #pragma once #include <atomic> -#include <condition_variable> #include <cstddef> #include <memory> -#include <mutex> #include "common/common_types.h" namespace Kernel { |