From 691d846f5e889c3bb1a049d7994d1a6ce6195971 Mon Sep 17 00:00:00 2001 From: Jendrik Seipp Date: Thu, 19 Oct 2023 13:03:23 +0200 Subject: [PATCH] Fix recommended M&S config. --- src/search/merge_and_shrink/merge_and_shrink_heuristic.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/search/merge_and_shrink/merge_and_shrink_heuristic.cc b/src/search/merge_and_shrink/merge_and_shrink_heuristic.cc index 9760bb02ad..c35f251c93 100644 --- a/src/search/merge_and_shrink/merge_and_shrink_heuristic.cc +++ b/src/search/merge_and_shrink/merge_and_shrink_heuristic.cc @@ -210,8 +210,8 @@ class MergeAndShrinkHeuristicFeature : public plugins::TypedFeature