diff --git a/src/search/command_line.cc b/src/search/command_line.cc
index fd3c83c31d..579471812c 100644
--- a/src/search/command_line.cc
+++ b/src/search/command_line.cc
@@ -104,7 +104,7 @@ 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) {
+            } catch (const plugins::BadAnyCast &) {
                 input_error("Could not interpret the argument of --search as a search algorithm.");
             } catch (const utils::ContextError &e) {
                 input_error(e.get_message());