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 | 2 |
1 files changed, 1 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 d9f1a941..b76c1888 100644 --- a/src/other_tools/root_maps/commit_git_map.hpp +++ b/src/other_tools/root_maps/commit_git_map.hpp @@ -83,7 +83,7 @@ using CommitGitMap = std::vector<std::string> const& launcher, std::optional<ServeApi> const& serve, gsl::not_null<IExecutionApi const*> const& local_api, - std::optional<gsl::not_null<IExecutionApi const*>> const& remote_api, + IExecutionApi::OptionalPtr const& remote_api, bool fetch_absent, std::size_t jobs) -> CommitGitMap; |