diff --git a/src/search/heuristics/hm_heuristic.cc b/src/search/heuristics/hm_heuristic.cc index aeb2016815..569f8e1045 100644 --- a/src/search/heuristics/hm_heuristic.cc +++ b/src/search/heuristics/hm_heuristic.cc @@ -61,9 +61,7 @@ void HMHeuristic::init_hm_table(const Tuple &t) { void HMHeuristic::update_hm_table() { - int round = 0; do { - ++round; was_updated = false; for (OperatorProxy op : task_proxy.get_operators()) {