From 59fbc473df37fd8d8da5a5c8b7a3baf56f3633fc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Tue, 30 May 2017 16:40:56 +0200 Subject: [PATCH] Dropping now unused head variable names. --- include/anthem/StatementVisitor.h | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/include/anthem/StatementVisitor.h b/include/anthem/StatementVisitor.h index 744ac7e..8369d2b 100644 --- a/include/anthem/StatementVisitor.h +++ b/include/anthem/StatementVisitor.h @@ -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::Type::Head, std::move(variableName)); - + auto variableDeclaration = std::make_unique(ast::VariableDeclaration::Type::Head); ruleContext.freeVariables.emplace_back(std::move(variableDeclaration)); }