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

Fixes lambda issue with gcc.

Browse Source
This commit is contained in:
Patrick Lühne 2016-06-12 22:58:17 +02:00
parent 0756d63769
commit 30cfa1b45e
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

@ -177,7 +177,7 @@ void TranslatorASP::translatePredicates() const
m_ostream << "predicate(" << predicate->name(); m_ostream << "predicate(" << predicate->name();
translateVariables(predicate->arguments()); this->translateVariables(predicate->arguments());
m_ostream << ")."; m_ostream << ").";
}); });
@ -200,7 +200,7 @@ void TranslatorASP::translateActions() const
m_ostream << "action(" << action->name(); m_ostream << "action(" << action->name();
translateVariables(action->parameters()); this->translateVariables(action->parameters());
m_ostream << ")."; m_ostream << ").";
}); });