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

Fixed syntax error in output format.

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

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

@ -153,7 +153,7 @@ void TranslatorASP::translatePredicates() const
printPredicateName(predicate); printPredicateName(predicate);
m_outputStream << ", " << utils::Keyword(value) << ")"; m_outputStream << ", " << utils::Keyword(value) << "))";
this->translateVariablesBody(predicate->arguments()); this->translateVariablesBody(predicate->arguments());