patrick
/
plasp
Archived
1
0
Fork 0

Added highlighting of variable names.

This commit is contained in:
Patrick Lühne 2016-08-13 01:39:49 +02:00
parent 8a82f52100
commit daf68d24ab
1 changed files with 1 additions and 1 deletions

View File

@ -55,7 +55,7 @@ Variable Variable::fromSAS(utils::Parser<> &parser)
void Variable::printNameAsASPPredicate(utils::LogStream &outputStream) const
{
outputStream << utils::Keyword("variable") << "(" << utils::escapeASP(m_name) << ")";
outputStream << utils::Keyword("variable") << "(" << utils::Number(utils::escapeASP(m_name)) << ")";
}
////////////////////////////////////////////////////////////////////////////////////////////////////