From 59ba7010866a4babe9a908b3460b67c1ae6d665c Mon Sep 17 00:00:00 2001 From: Florian Pommerening Date: Fri, 5 Jul 2024 17:43:11 +0200 Subject: [PATCH] remove unused variable --- src/search/heuristics/lm_cut_landmarks.cc | 2 -- 1 file changed, 2 deletions(-) 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);