From 294c4b30a1e8c3871ae31f6d2d7e3c135851d01b Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Mon, 19 Dec 2016 16:07:01 -0700 Subject: [PATCH] Add a copy operator to Mutex so that it can be used in class with an operator=. --- include/deal.II/base/thread_management.h | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/include/deal.II/base/thread_management.h b/include/deal.II/base/thread_management.h index 4c61e272b3..e975b97289 100644 --- a/include/deal.II/base/thread_management.h +++ b/include/deal.II/base/thread_management.h @@ -304,6 +304,16 @@ namespace Threads {} + /** + * Copy operators. As discussed in this class's documentation, no state + * is copied from the object given as argument. + */ + Mutex &operator = (const Mutex &) + { + return *this; + } + + /** * Acquire a mutex. */ -- 2.39.5