From 292167308aa16901e19cecd20a7b5bda42c5399e Mon Sep 17 00:00:00 2001 From: Dominik Drexler Date: Sat, 17 Feb 2024 21:30:38 +0100 Subject: [PATCH] use push back --- src/domain/pddl/parser/constants.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/domain/pddl/parser/constants.cpp b/src/domain/pddl/parser/constants.cpp index 67261c14..7cfbb7e6 100644 --- a/src/domain/pddl/parser/constants.cpp +++ b/src/domain/pddl/parser/constants.cpp @@ -60,7 +60,7 @@ static pddl::Object parse_constant_definition(const domain::ast::Name& node, con static pddl::ObjectList parse_constant_definitions(const std::vector& nodes, const pddl::TypeList& type_list, Context& context) { auto constant_list = pddl::ObjectList(); for (const auto& node : nodes) { - constant_list.emplace_back(parse_constant_definition(node, type_list, context)); + constant_list.push_back(parse_constant_definition(node, type_list, context)); } return constant_list; }