From 46c7553137134bfee9d47307b56fea81729d6b04 Mon Sep 17 00:00:00 2001 From: Dominik Drexler Date: Wed, 24 Apr 2024 12:16:38 +0200 Subject: [PATCH] fixed type printing --- src/pddl/problem.cpp | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/pddl/problem.cpp b/src/pddl/problem.cpp index d5911f16..3dec9ed3 100644 --- a/src/pddl/problem.cpp +++ b/src/pddl/problem.cpp @@ -115,7 +115,10 @@ void ProblemImpl::str_impl(std::ostream& out, const FormattingOptions& options) for (size_t i = 0; i < objects.size(); ++i) { if (i != 0) - out << " " << objects[i]->get_name(); + { + out << " "; + } + out << objects[i]->get_name(); } if (m_requirements->test(RequirementEnum::TYPING)) {