Fixed typo.

This commit is contained in:
Patrick Lühne 2017-10-25 19:00:54 +02:00
parent 4d8525f52d
commit 9803710ff3
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF

View File

@ -421,7 +421,7 @@ void TranslatorASP::translateProblem() const
translateConstants("objects", problem->objects);
}
// Initial State
// Initial state
m_outputStream << std::endl;
translateInitialState();