diff --git a/src/plasp/sas/TranslatorASP.cpp b/src/plasp/sas/TranslatorASP.cpp index d9d364a..5f7d49c 100644 --- a/src/plasp/sas/TranslatorASP.cpp +++ b/src/plasp/sas/TranslatorASP.cpp @@ -153,12 +153,9 @@ void TranslatorASP::translate(std::ostream &ostream) const currentEffectID++; }); - if (usesActionCosts) - { - ostream << "costs("; - operator_.printPredicateAsASP(ostream); - ostream << ", " << operator_.costs() << ")." << std::endl; - } + ostream << "costs("; + operator_.printPredicateAsASP(ostream); + ostream << ", " << operator_.costs() << ")." << std::endl; }); ostream << std::endl;