diff --git a/src/plasp/sas/TranslatorASP.cpp b/src/plasp/sas/TranslatorASP.cpp index c12ddb2..e688078 100644 --- a/src/plasp/sas/TranslatorASP.cpp +++ b/src/plasp/sas/TranslatorASP.cpp @@ -85,6 +85,7 @@ void TranslatorASP::translate(std::ostream &ostream) const std::for_each(fluents.cbegin(), fluents.cend(), [&](const auto *fluent) { + // TODO: Handle 0-ary predicates ostream << "fluent(" << *fluent << ")." << std::endl; });