Skip to content

Commit

Permalink
[trivial] follow-up fix to recent doc fix for iterated search
Browse files Browse the repository at this point in the history
  • Loading branch information
maltehelmert committed Jul 24, 2023
1 parent 77f5dcd commit 3f69b11
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/search/search_engines/iterated_search.cc
Original file line number Diff line number Diff line change
Expand Up @@ -168,7 +168,7 @@ class IteratedSearchFeature : public plugins::TypedFeature<SearchEngine, Iterate
"--search \"iterated([lazy_wastar(ipdb(),w=10), "
"lazy_wastar(ipdb(),w=5), lazy_wastar(ipdb(),w=3), "
"lazy_wastar(ipdb(),w=2), lazy_wastar(ipdb(),w=1)])\"\n"
"```\nwould perform the preprocessing phase of the merge and shrink heuristic "
"```\nwould perform the preprocessing phase of the ipdb heuristic "
"5 times (once before each iteration).\n\n"
"To avoid this, use heuristic predefinition, which avoids duplicate "
"preprocessing, as follows:\n```\n"
Expand Down

0 comments on commit 3f69b11

Please sign in to comment.