diff --git a/src/search/search_algorithms/exhaustive_search.cc b/src/search/search_algorithms/exhaustive_search.cc
index ec0018e8d..bdef773ad 100644
--- a/src/search/search_algorithms/exhaustive_search.cc
+++ b/src/search/search_algorithms/exhaustive_search.cc
@@ -110,7 +110,6 @@ class ExhaustiveSearchFeature
     ExhaustiveSearchFeature() : TypedFeature("dump_reachable_search_space") {
         document_title("Exhaustive search");
         document_synopsis("Dump the reachable state space.");
-        utils::add_log_options_to_feature(*this);
     }
 
     virtual shared_ptr<ExhaustiveSearch> create_component(
@@ -119,6 +118,7 @@ class ExhaustiveSearchFeature
         opts.set<OperatorCost>("cost_type", ONE);
         opts.set<int>("bound", numeric_limits<int>::max());
         opts.set<double>("max_time", numeric_limits<double>::infinity());
+        opts.set<utils::Verbosity>("verbosity", utils::Verbosity::NORMAL);
         return make_shared<ExhaustiveSearch>(opts);
     }
 };