From 1e70040de70591c66982121d45875839932334f0 Mon Sep 17 00:00:00 2001
From: Michael Thies <mail@mhthies.de>
Date: Sun, 16 Jul 2023 00:23:00 +0000
Subject: operation_cache: add missing include

---
 src/buildtool/execution_api/execution_service/operation_cache.hpp | 1 +
 1 file changed, 1 insertion(+)

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>
-- 
cgit v1.2.3