patrick
/
plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Minor formatting.

This commit is contained in:
Patrick Lühne 2016-06-14 14:05:38 +02:00
parent c62f3f88f1
commit 94d448d438
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/plasp/pddl/TranslatorASP.cpp
View File

@ -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;