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 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/other_tools/ops_maps/archive_fetch_map.hpp b/src/other_tools/ops_maps/archive_fetch_map.hpp index a74b2428..656f2100 100644 --- a/src/other_tools/ops_maps/archive_fetch_map.hpp +++ b/src/other_tools/ops_maps/archive_fetch_map.hpp @@ -15,6 +15,9 @@ #ifndef INCLUDED_SRC_OTHER_TOOLS_OPS_MAPS_ARCHIVE_FETCH_MAP_HPP #define INCLUDED_SRC_OTHER_TOOLS_OPS_MAPS_ARCHIVE_FETCH_MAP_HPP +#include <filesystem> + +#include "gsl/gsl" #include "src/buildtool/execution_api/common/execution_api.hpp" #include "src/other_tools/ops_maps/content_cas_map.hpp" |