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

Removed done to-do.

Browse Source
This commit is contained in:
Patrick Lühne 2016-05-22 16:04:22 +02:00
parent d9e5b5826b
commit 97eaff0535
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/sas/TranslatorASP.cpp
View File

@ -93,7 +93,6 @@ void TranslatorASP::translate(std::ostream &ostream) const
std::for_each(fluents.cbegin(), fluents.cend(), std::for_each(fluents.cbegin(), fluents.cend(),
[&](const auto *fluent) [&](const auto *fluent)
{ {
// TODO: Handle 0-ary predicates
ostream << "fluent(" << *fluent << ")." << std::endl; ostream << "fluent(" << *fluent << ")." << std::endl;
}); });