diff options
Diffstat (limited to 'src/other_tools/ops_maps/archive_fetch_map.hpp')
| -rw-r--r-- | src/other_tools/ops_maps/archive_fetch_map.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/other_tools/ops_maps/archive_fetch_map.hpp b/src/other_tools/ops_maps/archive_fetch_map.hpp index e1c26b45..f2753141 100644 --- a/src/other_tools/ops_maps/archive_fetch_map.hpp +++ b/src/other_tools/ops_maps/archive_fetch_map.hpp @@ -18,12 +18,12 @@ #include <cstddef> #include <filesystem> #include <functional> -#include <optional> #include <string> #include "gsl/gsl" #include "src/buildtool/crypto/hash_info.hpp" #include "src/buildtool/execution_api/common/execution_api.hpp" +#include "src/buildtool/multithreading/async_map_consumer.hpp" #include "src/buildtool/storage/storage.hpp" #include "src/other_tools/just_mr/progress_reporting/statistics.hpp" #include "src/other_tools/ops_maps/content_cas_map.hpp" |