From 94d448d438a6b1fae4313c51dfdfcc30f9616b27 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Tue, 14 Jun 2016 14:05:38 +0200 Subject: [PATCH] Minor formatting. --- src/plasp/pddl/TranslatorASP.cpp | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/plasp/pddl/TranslatorASP.cpp b/src/plasp/pddl/TranslatorASP.cpp index 4df45e4..1a7a637 100644 --- a/src/plasp/pddl/TranslatorASP.cpp +++ b/src/plasp/pddl/TranslatorASP.cpp @@ -79,7 +79,7 @@ void TranslatorASP::translateDomain() const void TranslatorASP::translateTypes() const { - m_ostream << "% types"; + m_ostream << "% types" << std::endl; const auto &types = m_description.domain().types(); @@ -92,8 +92,6 @@ void TranslatorASP::translateTypes() const std::for_each(types.cbegin(), types.cend(), [&](const auto &type) { - m_ostream << std::endl; - const auto typeName = utils::escapeASP(type->name()); m_ostream << "type(" << typeName << ")." << std::endl;