diff --git a/src/search/heuristics/lm_cut_landmarks.cc b/src/search/heuristics/lm_cut_landmarks.cc index 8fe81d1bb9..3b95ddcaa3 100644 --- a/src/search/heuristics/lm_cut_landmarks.cc +++ b/src/search/heuristics/lm_cut_landmarks.cc @@ -291,9 +291,7 @@ bool LandmarkCutLandmarks::compute_landmarks( if (artificial_goal.status == UNREACHED) return true; - int num_iterations = 0; while (artificial_goal.h_max_cost != 0) { - ++num_iterations; mark_goal_plateau(&artificial_goal); assert(cut.empty()); second_exploration(state, second_exploration_queue, cut);