Minor formatting.

This commit is contained in:
2017-03-15 16:32:07 +01:00
parent f6a57053b0
commit a7e23210f6

View File

@@ -45,7 +45,7 @@ ast::VariablePointer makeAuxiliaryBodyVariable(const int i)
auto variableName = std::string(AuxiliaryBodyVariablePrefix) + std::to_string(i);
return std::make_unique<ast::Variable>(std::move(variableName), ast::Variable::Type::Reserved);
};
}
////////////////////////////////////////////////////////////////////////////////////////////////////