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

Fixed syntax error in output.

Browse Source
This commit is contained in:
Patrick Lühne 2016-08-18 14:39:40 +02:00
parent 31d0a1fb38
commit e312740629
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

@ -87,7 +87,7 @@ void TranslatorASP::translateTypes() const
{ {
m_outputStream m_outputStream
<< utils::RuleName("type") << "(" << utils::RuleName("type") << "("
<< utils::Keyword("type") << "(" << utils::String("object") << ")." << std::endl; << utils::Keyword("type") << "(" << utils::String("object") << "))." << std::endl;
return; return;
} }