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

Fixed unescaped ASP identifier.

Browse Source
This commit is contained in:
Patrick Lühne 2016-06-14 18:53:40 +02:00
parent 853d7471c2
commit 3d661cd1f4
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

@ -325,7 +325,7 @@ void TranslatorASP::translateVariablesBody(const expressions::Variables &variabl
m_outputStream << utils::Keyword("hasType") << "("
<< utils::Variable(utils::escapeASPVariable(variable.name())) << ", "
<< utils::Keyword("type") << "(" << type.name() << "))";
<< utils::Keyword("type") << "(" << utils::escapeASP(type.name()) << "))";
}
else
{