diff options
Diffstat (limited to 'src/other_tools/root_maps/root_utils.hpp')
| -rw-r--r-- | src/other_tools/root_maps/root_utils.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/other_tools/root_maps/root_utils.hpp b/src/other_tools/root_maps/root_utils.hpp index 7e47dc81..d444176c 100644 --- a/src/other_tools/root_maps/root_utils.hpp +++ b/src/other_tools/root_maps/root_utils.hpp @@ -58,7 +58,7 @@ ServeApi const& serve, std::string const& tree_id, std::filesystem::path const& repo_path, - std::optional<gsl::not_null<IExecutionApi const*>> const& remote_api, + IExecutionApi::OptionalPtr const& remote_api, AsyncMapConsumerLoggerPtr const& logger, bool no_sync_is_fatal) -> bool; |