From cfde63ffe03f5065b47aed0f806830aacdf94ffa Mon Sep 17 00:00:00 2001 From: Daniel Arndt Date: Sat, 14 Oct 2017 14:27:18 +0200 Subject: [PATCH] Fix description for shared_ptr --- include/deal.II/base/thread_management.h | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/include/deal.II/base/thread_management.h b/include/deal.II/base/thread_management.h index eb76b61e22..263b8b3bf9 100644 --- a/include/deal.II/base/thread_management.h +++ b/include/deal.II/base/thread_management.h @@ -1053,9 +1053,8 @@ namespace Threads private: /** * Shared pointer to the object representing the thread, and abstracting - * operating system functions to work on it. Boost's shared pointer - * implementation will make sure that that object lives as long as there - * is at least one subscriber to it. + * operating system functions to work on it. This also makes sure that the + * object lives as long as there is at least one subscriber to it. */ std::shared_ptr > thread_descriptor; }; @@ -1735,9 +1734,8 @@ namespace Threads //@} private: /** - * Shared pointer to the object representing the task. Boost's shared - * pointer implementation will make sure that that object lives as long as - * there is at least one subscriber to it. + * Shared pointer to the object representing the task. This makes sure that + * the object lives as long as there is at least one subscriber to it. */ std::shared_ptr > task_descriptor; }; -- 2.39.5