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.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