diff options
Diffstat (limited to 'src/buildtool/execution_api/execution_service')
| -rw-r--r-- | src/buildtool/execution_api/execution_service/operation_cache.hpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/buildtool/execution_api/execution_service/operation_cache.hpp b/src/buildtool/execution_api/execution_service/operation_cache.hpp index 97b137fb..25ca49a7 100644 --- a/src/buildtool/execution_api/execution_service/operation_cache.hpp +++ b/src/buildtool/execution_api/execution_service/operation_cache.hpp @@ -16,6 +16,7 @@ #define OPERATION_CACHE_HPP #include <atomic> +#include <mutex> #include <optional> #include <shared_mutex> #include <string> |