From 26da53921b2ab8e64378475bd3e3cd8acddc2ef0 Mon Sep 17 00:00:00 2001 From: Silvan Sievers Date: Thu, 12 Oct 2023 14:28:21 +0200 Subject: [PATCH] [trivial] fix links --- src/search/landmarks/landmark_cost_partitioning_heuristic.cc | 2 +- src/search/lp/lp_solver.cc | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/search/landmarks/landmark_cost_partitioning_heuristic.cc b/src/search/landmarks/landmark_cost_partitioning_heuristic.cc index ea3227f9de..6f413c1566 100644 --- a/src/search/landmarks/landmark_cost_partitioning_heuristic.cc +++ b/src/search/landmarks/landmark_cost_partitioning_heuristic.cc @@ -132,7 +132,7 @@ class LandmarkCostPartitioningHeuristicFeature : public plugins::TypedFeature