diff --git a/src/plasp/pddl/TranslatorASP.cpp b/src/plasp/pddl/TranslatorASP.cpp index e0b70c5..491f083 100644 --- a/src/plasp/pddl/TranslatorASP.cpp +++ b/src/plasp/pddl/TranslatorASP.cpp @@ -127,7 +127,6 @@ void TranslatorASP::translate() const if (m_description.containsProblem()) { m_ostream << std::endl; - translateProblem(); } }