Skip to content

Commit

Permalink
style
Browse files Browse the repository at this point in the history
  • Loading branch information
tanjaschindler committed Feb 16, 2024
1 parent 9e9a1cc commit 77586ee
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/search/search_algorithms/eager_search.h
Original file line number Diff line number Diff line change
Expand Up @@ -49,7 +49,7 @@ class EagerSearch : public SearchAlgorithm {
double max_time,
const std::string &description,
utils::Verbosity verbosity);

virtual void print_statistics() const override;

void dump_search_space() const;
Expand Down

0 comments on commit 77586ee

Please sign in to comment.