better error message when passing a heuristic to --search

aibasel · Sep 27, 2024 · 996d3cd · 996d3cd
1 parent f39b35b
commit 996d3cd
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/search/command_line.cc b/src/search/command_line.cc
@@ -104,6 +104,8 @@ static shared_ptr<SearchAlgorithm> parse_cmd_line_aux(const vector<string> &args
                 parser::DecoratedASTNodePtr decorated = parsed->decorate();
                 plugins::Any constructed = decorated->construct();
                 search_algorithm = plugins::any_cast<SearchPtr>(constructed);
+            } catch (const plugins::BadAnyCast &e) {
+                input_error("Could not interpret the argument of --search as a search algorithm.");
             } catch (const utils::ContextError &e) {
                 input_error(e.get_message());
             }