diff --git a/src/plasp/pddl/TranslatorASP.cpp b/src/plasp/pddl/TranslatorASP.cpp index d51b740..7b17204 100644 --- a/src/plasp/pddl/TranslatorASP.cpp +++ b/src/plasp/pddl/TranslatorASP.cpp @@ -421,7 +421,7 @@ void TranslatorASP::translateProblem() const translateConstants("objects", problem->objects); } - // Initial State + // Initial state m_outputStream << std::endl; translateInitialState();