diff --git a/src/plasp/pddl/TranslatorASP.cpp b/src/plasp/pddl/TranslatorASP.cpp index 4c0e7ec..d51b740 100644 --- a/src/plasp/pddl/TranslatorASP.cpp +++ b/src/plasp/pddl/TranslatorASP.cpp @@ -77,6 +77,7 @@ void TranslatorASP::translateDomain() const translatePredicates(); } + // Derived predicates if (!domain->derivedPredicates.empty()) { m_outputStream << std::endl;