From 97eaff053566a67bd07c2bd19ba9023d18d6ce08 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sun, 22 May 2016 16:04:22 +0200 Subject: [PATCH] Removed done to-do. --- src/plasp/sas/TranslatorASP.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/plasp/sas/TranslatorASP.cpp b/src/plasp/sas/TranslatorASP.cpp index ec17ca4..b0659bc 100644 --- a/src/plasp/sas/TranslatorASP.cpp +++ b/src/plasp/sas/TranslatorASP.cpp @@ -93,7 +93,6 @@ 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; });