Skip to content

Commit

Permalink
[trivial] Remove redundant verbosity flag
Browse files Browse the repository at this point in the history
  • Loading branch information
SimonDold committed Aug 14, 2023
1 parent bd3c636 commit 2f0ef82
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion src/search/potentials/diverse_potential_heuristics.cc
Original file line number Diff line number Diff line change
Expand Up @@ -164,7 +164,6 @@ class DiversePotentialMaxHeuristicFeature : public plugins::TypedFeature<Evaluat
plugins::Bounds("0", "infinity"));
prepare_parser_for_admissible_potentials(*this);
utils::add_rng_options(*this);
utils::add_log_options_to_feature(*this);
}

virtual shared_ptr<PotentialMaxHeuristic> create_component(const plugins::Options &options, const utils::Context &) const override {
Expand Down

0 comments on commit 2f0ef82

Please sign in to comment.