From a14e96b68b4ac4adfcabe8a6854ce5f5095097b7 Mon Sep 17 00:00:00 2001 From: tanjaschindler Date: Fri, 20 Dec 2024 15:44:57 +0100 Subject: [PATCH] Small fix. --- src/search/tasks/root_task.cc | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/search/tasks/root_task.cc b/src/search/tasks/root_task.cc index c5eb23974b..0fc2461f6d 100644 --- a/src/search/tasks/root_task.cc +++ b/src/search/tasks/root_task.cc @@ -361,7 +361,8 @@ void TaskParser::read_pre_post_axiom(ExplicitOperator &op, const vector