diff options
Diffstat (limited to 'src/other_tools/root_maps/commit_git_map.hpp')
| -rw-r--r-- | src/other_tools/root_maps/commit_git_map.hpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/other_tools/root_maps/commit_git_map.hpp b/src/other_tools/root_maps/commit_git_map.hpp index fad04614..5298caf7 100644 --- a/src/other_tools/root_maps/commit_git_map.hpp +++ b/src/other_tools/root_maps/commit_git_map.hpp @@ -16,7 +16,7 @@ #define INCLUDED_SRC_OTHER_TOOLS_ROOT_MAPS_COMMIT_GIT_MAP_HPP #include <cstddef> -#include <optional> +#include <functional> #include <string> #include <utility> #include <vector> @@ -25,6 +25,7 @@ #include "nlohmann/json.hpp" #include "src/buildtool/common/user_structs.hpp" #include "src/buildtool/execution_api/common/execution_api.hpp" +#include "src/buildtool/multithreading/async_map_consumer.hpp" #include "src/buildtool/serve_api/remote/serve_api.hpp" #include "src/buildtool/storage/config.hpp" #include "src/buildtool/storage/storage.hpp" |