From 274feb8ad56120c3e2531e6bf52bf14f893c3a9f Mon Sep 17 00:00:00 2001 From: speckdavid Date: Fri, 6 Sep 2024 10:55:24 +0200 Subject: [PATCH] Removed accidental task dump. --- src/search/symbolic/sym_transition_relations.cc | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/search/symbolic/sym_transition_relations.cc b/src/search/symbolic/sym_transition_relations.cc index 37cdb440d..89ea2bea3 100644 --- a/src/search/symbolic/sym_transition_relations.cc +++ b/src/search/symbolic/sym_transition_relations.cc @@ -71,10 +71,8 @@ void SymTransitionRelations::create_single_trs(const shared_ptr &t TaskProxy task_proxy(*task); if (task_properties::has_conditional_effects(task_proxy)) { effect_aggregated_task = make_shared(task); - task_properties::dump_task(TaskProxy(*effect_aggregated_task)); } - for (int i = 0; i < task->get_num_operators(); ++i) { int cost = task->get_operator_cost(i, false);