patrick/anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Added unit test to check whether escaped user variable names are correctly escaped.

Browse Source
This commit is contained in:
Patrick Lühne
2016-11-24 15:38:55 +01:00
parent 7702441d24
commit cdfdd8f4ca
2 changed files with 11 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
include/anthem/StatementVisitor.h
View File

@@ -44,7 +44,7 @@ struct StatementVisitor
const auto &headTerm = **i;
if (i != context.headTerms.cbegin())
outputStream << ", ";
outputStream << " " << Clingo::AST::BinaryOperator::And << " ";
const auto variableName = std::string(AuxiliaryHeadVariablePrefix) + std::to_string(i - context.headTerms.cbegin() + 1);