diff --git a/src/search/landmarks/landmark_cost_partitioning_heuristic.cc b/src/search/landmarks/landmark_cost_partitioning_heuristic.cc index 0f50aed705..612f8fe386 100644 --- a/src/search/landmarks/landmark_cost_partitioning_heuristic.cc +++ b/src/search/landmarks/landmark_cost_partitioning_heuristic.cc @@ -18,7 +18,7 @@ namespace landmarks { LandmarkCostPartitioningHeuristic::LandmarkCostPartitioningHeuristic( const plugins::Options &options, bool use_preferred_operators, - const std::shared_ptr &transform, + const shared_ptr &transform, bool cache_estimates, const string &description, utils::Verbosity verbosity) diff --git a/src/search/landmarks/landmark_factory_reasonable_orders_hps.cc b/src/search/landmarks/landmark_factory_reasonable_orders_hps.cc index 94769089e2..abc4b75de2 100644 --- a/src/search/landmarks/landmark_factory_reasonable_orders_hps.cc +++ b/src/search/landmarks/landmark_factory_reasonable_orders_hps.cc @@ -12,7 +12,7 @@ using namespace std; namespace landmarks { LandmarkFactoryReasonableOrdersHPS::LandmarkFactoryReasonableOrdersHPS( - std::shared_ptr &lm_factory, utils::Verbosity verbosity) + shared_ptr &lm_factory, utils::Verbosity verbosity) : LandmarkFactory(verbosity), lm_factory(lm_factory) { } diff --git a/src/search/landmarks/landmark_heuristic.cc b/src/search/landmarks/landmark_heuristic.cc index 333452a80c..50f5f09c34 100644 --- a/src/search/landmarks/landmark_heuristic.cc +++ b/src/search/landmarks/landmark_heuristic.cc @@ -15,7 +15,7 @@ using namespace std; namespace landmarks { LandmarkHeuristic::LandmarkHeuristic( bool use_preferred_operators, - const std::shared_ptr &transform, + const shared_ptr &transform, bool cache_estimates, const string &description, utils::Verbosity verbosity)