From ae1699bd0627b97515b4f21b81b516680599f80a Mon Sep 17 00:00:00 2001 From: Masataro Asai Date: Thu, 15 May 2025 08:32:11 +0900 Subject: [PATCH 1/2] stop including timer.h in logging.h: logging.h does not depend on Timer or Duration --- src/search/landmarks/landmark_heuristic.cc | 1 + src/search/utils/logging.cc | 2 +- src/search/utils/logging.h | 1 - 3 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/search/landmarks/landmark_heuristic.cc b/src/search/landmarks/landmark_heuristic.cc index 80da5cfe69..b85d7e8b29 100644 --- a/src/search/landmarks/landmark_heuristic.cc +++ b/src/search/landmarks/landmark_heuristic.cc @@ -9,6 +9,7 @@ #include "../tasks/cost_adapted_task.h" #include "../tasks/root_task.h" #include "../utils/markup.h" +#include "../utils/timer.h" using namespace std; diff --git a/src/search/utils/logging.cc b/src/search/utils/logging.cc index 7f72a917d2..d53dc5e8f2 100644 --- a/src/search/utils/logging.cc +++ b/src/search/utils/logging.cc @@ -1,7 +1,7 @@ #include "logging.h" #include "system.h" -#include "timer.h" +#include "timer.h" // for g_timer #include "../plugins/plugin.h" diff --git a/src/search/utils/logging.h b/src/search/utils/logging.h index 2b23f3e599..506640e686 100644 --- a/src/search/utils/logging.h +++ b/src/search/utils/logging.h @@ -3,7 +3,6 @@ #include "exceptions.h" #include "system.h" -#include "timer.h" #include #include From 67359ebbda8467aefd66b4dea21a1bdb51b4a11c Mon Sep 17 00:00:00 2001 From: Florian Pommerening Date: Thu, 19 Jun 2025 11:21:58 +0200 Subject: [PATCH 2/2] Remove comment from include --- src/search/utils/logging.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/search/utils/logging.cc b/src/search/utils/logging.cc index d53dc5e8f2..7f72a917d2 100644 --- a/src/search/utils/logging.cc +++ b/src/search/utils/logging.cc @@ -1,7 +1,7 @@ #include "logging.h" #include "system.h" -#include "timer.h" // for g_timer +#include "timer.h" #include "../plugins/plugin.h"