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

Added comment for consistency.

This commit is contained in:
Patrick Lühne 2017-10-25 18:03:11 +02:00
parent d0b7f89925
commit 4d8525f52d
No known key found for this signature in database
GPG Key ID: 05F3611E97A70ABF
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -77,6 +77,7 @@ void TranslatorASP::translateDomain() const
translatePredicates();
}
// Derived predicates
if (!domain->derivedPredicates.empty())
{
m_outputStream << std::endl;