From e65ec9b6c140263100b8eb6becae1a61803273f3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 24 Nov 2016 03:11:36 +0100 Subject: [PATCH] Fixed incorrect auxiliary variable naming. --- include/anthem/StatementVisitor.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/anthem/StatementVisitor.h b/include/anthem/StatementVisitor.h index cea6b04..e1fbbb4 100644 --- a/include/anthem/StatementVisitor.h +++ b/include/anthem/StatementVisitor.h @@ -45,7 +45,7 @@ struct StatementVisitor if (i != context.headTerms.cbegin()) outputStream << ", "; - const auto variableName = std::string(AuxiliaryBodyVariablePrefix) + std::to_string(i - context.headTerms.cbegin()); + const auto variableName = std::string(AuxiliaryHeadVariablePrefix) + std::to_string(i - context.headTerms.cbegin()); outputStream << output::Variable(variableName.c_str())