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

Minor formatting.

Browse Source
This commit is contained in:
Patrick Lühne 2016-05-22 20:22:48 +02:00
parent 1dd55715f1
commit eed215871a
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/plasp/sas/TranslatorASP.cpp
View File

@ -131,9 +131,10 @@ void TranslatorASP::translate(std::ostream &ostream) const
effect.postcondition().value().printAsASPCommaSeparated(ostream); effect.postcondition().value().printAsASPCommaSeparated(ostream);
ostream << ")." << std::endl; ostream << ")." << std::endl;
}); });
ostream << std::endl;
}); });
ostream << std::endl;
ostream << "% initial state" << std::endl; ostream << "% initial state" << std::endl;
const auto &initialStateFacts = m_description.initialState().facts(); const auto &initialStateFacts = m_description.initialState().facts();