diff options
Diffstat (limited to 'src/other_tools/root_maps/distdir_git_map.hpp')
| -rw-r--r-- | src/other_tools/root_maps/distdir_git_map.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/other_tools/root_maps/distdir_git_map.hpp b/src/other_tools/root_maps/distdir_git_map.hpp index 1a350394..94ddbf9d 100644 --- a/src/other_tools/root_maps/distdir_git_map.hpp +++ b/src/other_tools/root_maps/distdir_git_map.hpp @@ -56,7 +56,7 @@ using DistdirGitMap = gsl::not_null<CriticalGitOpMap*> const& critical_git_op_map, 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, std::size_t jobs) -> DistdirGitMap; namespace std { |