From a7e23210f608ad69f037127f71121bcad20a1199 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Wed, 15 Mar 2017 16:32:07 +0100 Subject: [PATCH] Minor formatting. --- include/anthem/Body.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/anthem/Body.h b/include/anthem/Body.h index 9a9b9fc..550b700 100644 --- a/include/anthem/Body.h +++ b/include/anthem/Body.h @@ -45,7 +45,7 @@ ast::VariablePointer makeAuxiliaryBodyVariable(const int i) auto variableName = std::string(AuxiliaryBodyVariablePrefix) + std::to_string(i); return std::make_unique(std::move(variableName), ast::Variable::Type::Reserved); -}; +} ////////////////////////////////////////////////////////////////////////////////////////////////////