From 77586eeea96fc4efbc6e4f14404e7a3f8139004c Mon Sep 17 00:00:00 2001 From: tanjaschindler Date: Fri, 16 Feb 2024 15:33:24 +0100 Subject: [PATCH] style --- src/search/search_algorithms/eager_search.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/search/search_algorithms/eager_search.h b/src/search/search_algorithms/eager_search.h index cb5e849267..8dcab73769 100644 --- a/src/search/search_algorithms/eager_search.h +++ b/src/search/search_algorithms/eager_search.h @@ -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;