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