diff --git a/src/plasp/pddl/TranslatorASP.cpp b/src/plasp/pddl/TranslatorASP.cpp index 1a7a637..d11c263 100644 --- a/src/plasp/pddl/TranslatorASP.cpp +++ b/src/plasp/pddl/TranslatorASP.cpp @@ -85,7 +85,7 @@ void TranslatorASP::translateTypes() const if (types.empty()) { - m_ostream << std::endl << "type(object)." << std::endl; + m_ostream << "type(object)." << std::endl; return; }