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

Fixed bug in output format.

Browse Source
This commit is contained in:
Patrick Lühne 2016-08-13 04:04:28 +02:00
parent 8969364f73
commit 340db244f6
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/plasp/pddl/TranslatorASP.cpp
View File

@ -218,11 +218,11 @@ void TranslatorASP::translateActions() const
this->translateLiteral(literal); this->translateLiteral(literal);
m_outputStream << ") :- "; m_outputStream << ") :- " << utils::Keyword("action") << "(";
printActionName(*action); printActionName(*action);
m_outputStream << "."; m_outputStream << ").";
}; };
m_outputStream << std::endl; m_outputStream << std::endl;