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