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)); }