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

Fixed typo in PDDL translation output.

Browse Source
This commit is contained in:
Patrick Lühne 2016-06-14 19:21:27 +02:00
parent 6b5c8df03a
commit d3039d55e5
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

@ -267,13 +267,13 @@ void TranslatorASP::translateConstants(const std::string &heading, const express
{ {
m_outputStream << utils::Keyword("hasType") << "(" m_outputStream << utils::Keyword("hasType") << "("
<< utils::Keyword("constant") << "(" << constantName << "), " << utils::Keyword("constant") << "(" << constantName << "), "
<< utils::Keyword("hastype") << "(" << utils::escapeASP(type->name()) << "))." << std::endl; << utils::Keyword("type") << "(" << utils::escapeASP(type->name()) << "))." << std::endl;
} }
else else
{ {
m_outputStream << utils::Keyword("hasType") << "(" m_outputStream << utils::Keyword("hasType") << "("
<< utils::Keyword("constant") << "(" << constantName << "), " << utils::Keyword("constant") << "(" << constantName << "), "
<< utils::Keyword("hastype") << "(object))." << std::endl; << utils::Keyword("type") << "(object))." << std::endl;
} }
}); });
} }