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-13 03:22:48 +02:00
parent e07672ffe6
commit 8563011939
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -127,7 +127,6 @@ void TranslatorASP::translate() const
if (m_description.containsProblem())
{
m_ostream << std::endl;
translateProblem();
}
}