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

Dropping now unused head variable names.

This commit is contained in:
Patrick Lühne 2017-05-30 16:40:56 +02:00
parent 8214d7837a
commit 59fbc473df
No known key found for this signature in database
GPG Key ID: 05F3611E97A70ABF
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
include/anthem/StatementVisitor.h
View File

@ -61,10 +61,7 @@ struct StatementVisitor
for (size_t i = 0; i < ruleContext.headTerms.size(); i++)
{
// TODO: drop name
auto variableName = "#" + std::string(HeadVariablePrefix) + std::to_string(ruleContext.freeVariables.size() + 1);
auto variableDeclaration = std::make_unique<ast::VariableDeclaration>(ast::VariableDeclaration::Type::Head, std::move(variableName));
auto variableDeclaration = std::make_unique<ast::VariableDeclaration>(ast::VariableDeclaration::Type::Head);
ruleContext.freeVariables.emplace_back(std::move(variableDeclaration));
}